|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3209 occurrences of 1368 keywords
|
|
|
Results
Found 12346 publication records. Showing 12346 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
100 | Melvin Fitting |
Justification logics, logics of knowledge, and conservativity. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03B42, 03B45, 03B60, 03B70 |
79 | Hiroakira Ono |
An Algebraic Approach to Substructural Logics - An Overview. |
Interval / Probabilistic Uncertainty and Non-Classical Logics |
2008 |
DBLP DOI BibTeX RDF |
|
79 | Thoralf Räsch |
Introduction to Guarded Logics. |
Automata, Logics, and Infinite Games |
2001 |
DBLP DOI BibTeX RDF |
|
77 | Josep Maria Font, Ramon Jansana |
Leibniz filters and the strong version of a protoalgebraic logic. |
Arch. Math. Log. |
2001 |
DBLP DOI BibTeX RDF |
Leibniz filter, Strong version, Leibniz operator, Transfer theorem, Modal logics, Many-valued logics, Algebraizable logic, Quantum logics, Abstract algebraic logic, Protoalgebraic logic |
75 | Stéphane Demri, Hans de Nivelle |
Deciding Regular Grammar Logics with Converse Through First-Order Logic. |
J. Log. Lang. Inf. |
2005 |
DBLP DOI BibTeX RDF |
relational translation, 2-variable fragment, guarded fragment, modal and temporal logics |
69 | Tim French 0002 |
Idempotent Transductions for Modal Logics. |
FroCoS |
2007 |
DBLP DOI BibTeX RDF |
|
64 | Matthias Baaz, Rosalie Iemhoff |
On Interpolation in Existence Logics. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
existence predicate, Gentzen calculus, Beth definability, truth-value logics, Gödel logics, Scott logics, interpolation, cut-elimination, Intuitionistic logic, Kripke models, Skolemization |
62 | Renate A. Schmidt, Dmitry Tishkovsky |
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
59 | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
Goal-Directed Calculli for Gödel-Dummett Logics. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
Gödel Logics, Hypersequents, Goal-Directed Calculi, Fuzzy Logics, Intermediate Logics |
58 | Pierfrancesco Bellini, R. Mattonlini, Paolo Nesi |
Temporal logics for real-time system specification. |
ACM Comput. Surv. |
2000 |
DBLP DOI BibTeX RDF |
logic specification languages, metric of time, specification model, real-time, temporal logics, modal logic, reactive systems, temporal constraints, temporal relationships |
58 | Lutz Schröder, Dirk Pattinson |
Shallow Models for Non-iterative Modal Logics. |
KI |
2008 |
DBLP DOI BibTeX RDF |
|
58 | Ewa Orlowska |
Two Logical Dimensions. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
58 | V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski |
Modal Nonmonotonic Logics: Ranges, Characterization, Computation. |
J. ACM |
1993 |
DBLP DOI BibTeX RDF |
|
54 | Mark Weyer |
Decidability of S1S and S2S. |
Automata, Logics, and Infinite Games |
2001 |
DBLP DOI BibTeX RDF |
|
53 | E. Allen Emerson, Jai Srinivasan |
Branching time temporal logic. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis |
53 | Larisa Maksimova |
Definability and Interpolation in Non-Classical Logics. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
interpolation, modal logic, intuitionistic logic, definability, non-classical logics, amalgamation |
53 | Matteo Baldoni, Laura Giordano 0001, Alberto Martelli |
A Tableau for Multimodal Logics and Some (Un)Decidability Results. |
TABLEAUX |
1998 |
DBLP DOI BibTeX RDF |
Multimodal logics, Prefixed Tableaux methods, Decidability, Formal Grammars |
53 | Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang, Peng Wang 0004 |
A Family of Extended Fuzzy Description Logics. |
COMPSAC (1) |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Tim French 0002 |
Bisimulation Quantified Logics: Undecidability. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
52 | Arnon Avron, Anna Zamansky |
Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Renate A. Schmidt, Dmitry Tishkovsky |
Multi-agent Logics of Dynamic Belief and Knowledge. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
51 | Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith |
Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
51 | Hajime Sawamura, Daisaku Asanuma |
Mechanizing Relevant Logics with HOL. |
TPHOLs |
1998 |
DBLP DOI BibTeX RDF |
|
50 | Arnon Avron |
A Non-deterministic View on Non-classical Negations. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
Non-deterministic Semantics, Many-valued Logics, Paraconsistent Logics, Negation, Constructive Logics |
50 | Ewa Orlowska |
Many-Valuedness and Uncertainty. |
ISMVL |
1997 |
DBLP DOI BibTeX RDF |
modal information logics, many-valued modal logics, uncertain knowledge, calculus of information relations, Aristotelian syllogistic, multivalued logic |
48 | Lou Goble |
Combinator Logics. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
fusion, residuation, substructural logics, Relevant logics, combinatory logic |
48 | Jeremy E. Dawson, Rajeev Goré |
A Mechanisation of Classical Modal Tense Logics Using Isabelle. |
Australian Joint Conference on Artificial Intelligence |
1998 |
DBLP DOI BibTeX RDF |
logics for knowledge and belief, display logic, sequent calculus, automated deduction, hybrid logics, tense logic |
47 | Hans Jürgen Ohlbach |
New Ways for Developing Proof Theories for First-Order Multi Modal Logics. |
CSL |
1989 |
DBLP DOI BibTeX RDF |
Automated Theorem Proving by Translation and Refutation, Nonclassical Logics, Process Logic, Action Logic, Temporal Logic, Modal Logic, Resolution, Epistemic Logic |
47 | Samuel R. Buss, Roman Kuznets |
The NP-Completeness of Reflected Fragments of Justification Logics. |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
|
47 | Frank Wolter, Michael Zakharyaschev |
Undecidability of the unification and admissibility problems for modal and description logics. |
ACM Trans. Comput. Log. |
2008 |
DBLP DOI BibTeX RDF |
admissible rule, description logic, decidability, Unification, hybrid logic |
47 | Matthias Baaz, Richard Zach |
Effective Finite-Valued Approximations of General Propositional Logics. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
47 | Petr Cintula |
Advances in the LPi and LPi1/2i logics. |
Arch. Math. Log. |
2003 |
DBLP DOI BibTeX RDF |
|
47 | Alexander Moshe Rabinovich, Shahar Maoz |
Why so Many Temporal Logics Climb up the Trees? |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
47 | Oliver Lemon, Ian E. Pratt |
Logics for geographic information. |
J. Geogr. Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
47 | Newton C. A. da Costa, Lawrence J. Henschen, James J. Lu, V. S. Subrahmanian |
Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation. |
CADE |
1990 |
DBLP DOI BibTeX RDF |
|
45 | Akihiro Yamamoto, Kouichi Hirata, Ken Satoh |
The Fourth Workshop on Learning with Logics and Logics for Learning (LLLL2006). |
JSAI |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Francesco M. Donini, Fabio Massacci, Daniele Nardi, Riccardo Rosati 0001 |
A Uniform Tableaux Method for Nonmonotonic Modal Logics. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
45 | Stéphane Demri |
Efficient Strategies for Automated Reasoning in Modal Logics. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
44 | Katalin Bimbó |
Admissibility of Cut in LC with Fixed Point Combinator. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
structurally free logics, fked point combinator, (multiple) cut rule, elimination theorem, substructural logics, non-classical logics, combinatory logic |
44 | João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò 0001 |
Labelled Deduction over Algebras of Truth-Values. |
FroCoS |
2002 |
DBLP DOI BibTeX RDF |
|
42 | Josep Maria Font |
Beyond Rasiowa's Algebraic Approach to Non-classical Logics. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
implicative logics, equivalential logics, Leibniz hierarchy, generalized matrices, Gentzen systems, Frege hierarchy, algebraizable logics, Abstract algebraic logic |
42 | Francesco M. Donini, Daniele Nardi, Riccardo Rosati 0001 |
Description logics of minimal knowledge and negation as failure. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
frame-based systems, nonmonotonic modal logics, tableau calculi, Description Logics |
42 | F. Sokhatsky |
The Deepest Repetition-Free Decompositions of Non-Singular Functions of Finite-Valued Logics. |
ISMVL |
1996 |
DBLP DOI BibTeX RDF |
nonsingular functions, finite-valued logics, repetition-free, isotopy change, commutation change, associative change, Boolean functions, Boolean functions, multivalued logic, three-valued logics |
42 | Stefan Gerberding |
DT - An Automated Theorem Prover for Multiple-Valued First-Order Predicate Logics. |
ISMVL |
1996 |
DBLP DOI BibTeX RDF |
Deep Thought, multiple-valued first-order logics, lemma generation, tableau expansion, branch closure, theorem proving, multivalued logic, multiple-valued logics, quantifiers, first-order predicate logic, truth tables, automated theorem prover |
42 | Arnon Avron, Beata Konikowska |
Rough Sets and 3-Valued Logics. |
Stud Logica |
2008 |
DBLP DOI BibTeX RDF |
rough sets, three-valued logics, sequent calculi, non-deterministic matrices |
42 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati 0001 |
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. |
J. Autom. Reason. |
2007 |
DBLP DOI BibTeX RDF |
DL-Lite, Description logics, Query answering, Ontology languages |
42 | Rosalie Iemhoff |
On the rules of intermediate logics. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
admissible rules, Rieger-Nishimura formulas, Medvedev logic, Independence of Premise, realizability, Intermediate logics |
42 | Volker Diekert, Paul Gastin |
Pure Future Local Temporal Logics Are Expressively Complete for Mazurkiewicz Traces. |
LATIN |
2004 |
DBLP DOI BibTeX RDF |
concurrency, Temporal logics, Mazurkiewicz traces |
42 | Bharat Adsul, Milind A. Sohoni |
Complete and Tractable Local Linear Time Temporal Logics over Traces. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
Concurrency, Temporal Logics, Limits, Mazurkiewicz Traces |
42 | Daniel Lehmann 0001 |
Connectives in Cumulative Logics. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Dirk Pattinson, Lutz Schröder |
Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. |
FoSSaCS |
2008 |
DBLP DOI BibTeX RDF |
|
42 | Petr Cintula |
Weakly Implicative (Fuzzy) Logics I: Basic Properties. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03B22, 03B47, 06F35, 03G99, 03B52, 03B50 |
42 | Tadeusz Litak, Frank Wolter |
All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
frame incompleteness, computational complexity, temporal logic, NP-completeness, tense logic |
42 | Renate A. Schmidt, Dmitry Tishkovsky |
Multi-Agent Dynamic Logics with Informational Test. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Franz Baader, Silvio Ghilardi, Cesare Tinelli |
A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics. |
IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran |
Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories. |
ECSQARU |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff |
Hybrid Logics on Linear Structures: Expressivity and Complexity. |
TIME |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Alessandro Artale, Enrico Franconi |
Introducing Temporal Description Logics. |
TIME |
1999 |
DBLP DOI BibTeX RDF |
|
42 | Madhavan Mukund, P. S. Thiagarajan |
Linear Time Temporal Logics over Mazurkiewicz Traces. |
MFCS |
1996 |
DBLP DOI BibTeX RDF |
|
41 | Dietmar Berwanger, Achim Blumensath |
Automata for Guarded Fixed Point Logics. |
Automata, Logics, and Infinite Games |
2001 |
DBLP DOI BibTeX RDF |
|
40 | Piero A. Bonatti |
Towards Service Description Logics. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
Semantic Web, Description Logics |
40 | Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna |
Decidability of Interval Temporal Logics over Split-Frames via Granularity. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
40 | Tomi Janhunen |
On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription. |
JELIA |
1998 |
DBLP DOI BibTeX RDF |
|
40 | Colin Stirling |
Temporal logics for CCS. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
Key-words transition systems, temporal logic, modal logic, CCS |
39 | Stefano Aguzzoli, Matteo Bianchi 0001, Vincenzo Marra |
A Temporal Semantics for Basic Logic. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
Basic Logic, Temporal logics, Modal logics, Many-valued logics, ?ukasiewicz logic |
39 | Matthias Baaz, Rosalie Iemhoff |
Gentzen Calculi for the Existence Predicate. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
existence predicate, Gentzen calculus, truth-value logics, Gödel logics, Scott logics, cut-elimination, Intuitionistic logic, Kripke models, Skolemization |
39 | Lilia Georgieva, Ullrich Hustadt, Renate A. Schmidt |
On the relationship between decidable fragments, non-classical logics, and description logics. |
Description Logics |
2002 |
DBLP BibTeX RDF |
|
39 | Maarten de Rijke |
Description Logics and Modal Logics. |
Description Logics |
1998 |
DBLP BibTeX RDF |
|
39 | Diego Calvanese, Maurizio Lenzerini, Daniele Nardi |
Description Logics for Conceptual Data Modeling. |
Logics for Databases and Information Systems |
1998 |
DBLP BibTeX RDF |
|
39 | Jan Chomicki, Gunter Saake |
Introduction to Logics for Databases and Information Systems. |
Logics for Databases and Information Systems |
1998 |
DBLP BibTeX RDF |
|
39 | Hans-Dieter Ehrich, Carlos Caleiro, Amílcar Sernadas, Grit Denker |
Logics for Specifying Concurrent Information Systems. |
Logics for Databases and Information Systems |
1998 |
DBLP BibTeX RDF |
|
39 | Klaus Schild |
From Terminological Logics to Modal Logics. |
Description Logics |
1991 |
DBLP BibTeX RDF |
|
39 | André Fuhrmann |
Conditional Logics and Cumulative Logics. |
Nonclassical Logics and Information Processing |
1990 |
DBLP DOI BibTeX RDF |
|
39 | Arnon Avron, Beata Konikowska |
Proof Systems for Reasoning about Computation Errors. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
lazy sequential computation, parallel computation, three-valued logics, sequent calculi, four-valued logics, non-deterministic matrices, computation errors |
39 | Willem J. Blok, Eva Hoogland |
The Beth Property in Algebraic Logic. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
equivalential logics, Beth definability property, epimorphisms, algebraizable logics, Abstract algebraic logic |
39 | Rajeev Alur, Kenneth L. McMillan, Doron A. Peled |
Deciding Global Partial-Order Properties. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
partial order logics, model checking, concurrency, temporal logics |
39 | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
Goal-Directed Methods for Lukasiewicz Logic. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
ukasiewicz Logics, Goal-Directed Methods, Fuzzy Logics |
39 | Rajeev Goré, Lan Duy Nguyen |
CardKt: Automated Multi-modal Deduction on Java Cards for Multi-application Security. |
Java Card Workshop |
2000 |
DBLP DOI BibTeX RDF |
security of multi-application smart cards, applications of logics of knowledge and belief, modal theorem proving, tense logics |
39 | Mehmet A. Orgun, Guido Governatori, Chuchang Liu |
Modal tableaux for verifying stream authentication protocols. |
Auton. Agents Multi Agent Syst. |
2009 |
DBLP DOI BibTeX RDF |
Fibring logics, System-specific trust theories, Modal tableaux, Temporal logic, Security protocols, Belief logic |
39 | Sergei P. Odintsov |
The Class of Extensions of Nelson's Paraconsistent Logic. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
N4-lattice, lattice of logics, paraconsistent logic, strong negation |
39 | M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher 0001, Boris Konev |
First-Order Temporal Verification in Practice. |
J. Autom. Reason. |
2005 |
DBLP DOI BibTeX RDF |
temporal logics of knowledge, theorem proving, resolution, first-order temporal logic |
38 | Umberto Straccia |
Transforming Fuzzy Description Logics into Classical Description Logics. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
37 | Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac |
Multimo dal Logics of Products of Topologies. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
Fusion of modal logics, products of modal logics, topological product, horizontal, vertical topologies |
37 | Viorica Sofronie-Stokkermans |
Representation Theorems and Theorem Proving in Non-Classical Logics. |
ISMVL |
1999 |
DBLP DOI BibTeX RDF |
distributive lattices with operators, Priestley duality, many-values logics, automated theorem proving, Non-classical logics |
36 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind |
Tableau calculus for preference-based conditional logics: PCL and its extensions. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
Tableaux calculi, conditional logics |
36 | Sato Kentaro |
Proper Semantics for Substructural Logics, from a Stalker Theoretic Point of View. |
Stud Logica |
2008 |
DBLP DOI BibTeX RDF |
general semantics of substructural logics, meta deduction relation, deductive filter, Stone’s sheaf representation, site, stalker, meaning of connectives, primeness |
36 | Lou Goble |
Combinatory Logic and the Semantics of Substructural Logics. |
Stud Logica |
2007 |
DBLP DOI BibTeX RDF |
Routley-Meyer relational semantics, Substructural logics, combinatory logic |
36 | Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
neighbourhood interval logics, decidability, expressiveness |
36 | Lauri Hella, Jose Maria Turull Torres |
Complete Problems for Higher Order Logics. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
Lindström Quantifiers, Complete Problems, Higher Order Logics |
36 | François Maurel |
Nondeterministic Light Logics and NP-Time. |
TLCA |
2003 |
DBLP DOI BibTeX RDF |
Light logics, implicit characterisations of complexity classes, NP complexity |
36 | Joeri Engelfriet |
Only Persistence Makes Nonmonotonicity Monotonous. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
preferential logics, nonmonotonic reasoning, monotonicity |
36 | Wenbo Mao |
An augmentation of BAN-like logics. |
CSFW |
1995 |
DBLP DOI BibTeX RDF |
BAN-like logics augmentation, protocol idealization, rule-based technique, protocol syntax, protocols, formal logic, message authentication, authentication protocols, symbolic manipulation |
36 | Lutz Schröder, Dirk Pattinson |
PSPACE bounds for rank-1 modal logics. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
Shallow models, resolution, coalgebra |
36 | Christoph Benzmüller |
Automating Access Control Logics in Simple Type Theory with LEO-II. |
SEC |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Mohua Banerjee, Md. Aquil Khan |
Propositional Logics from Rough Set Theory. |
Trans. Rough Sets |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller |
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Guilin Qi, Jeff Z. Pan, Qiu Ji |
Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic. |
ECSQARU |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Marcelo Arenas, Pablo Barceló, Leonid Libkin |
Combining Temporal Logics for Querying XML Documents. |
ICDT |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Boris Konev, Roman Kontchakov, Frank Wolter, Michael Zakharyaschev |
On Dynamic Topological and Metric Logics. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
topological logic, temporal logic, topology, modal logic, dynamical system, decidability, metric space |
36 | Blanka Kozlíková, Vítezslav Svejdar |
On interplay of quantifiers in Gödel-Dummett fuzzy logics. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 03B20, 03B52, 03B55 |
Displaying result #1 - #100 of 12346 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|