Search results for "logics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
36	Lutz Schröder, Dirk Pattinson	PSPACE Bounds for Rank-1 Modal Logics.	LICS	2006	DBLP DOI BibTeX RDF
36	Martin Allen	Complexity results for logics of local reasoning and inconsistent belief.	TARK	2005	DBLP BibTeX RDF
36	Boris Konev, Frank Wolter, Michael Zakharyaschev	Temporal Logics over Transitive States.	CADE	2005	DBLP DOI BibTeX RDF
36	Lijun Wu, Kaile Su, Qingliang Chen	Model Checking Temporal Logics of Knowledge and Its Application in Security Verification.	CIS (1)	2005	DBLP DOI BibTeX RDF
36	Corina Cîrstea, Dirk Pattinson	Modular Construction of Modal Logics.	CONCUR	2004	DBLP DOI BibTeX RDF
36	Valentin Goranko, Angelo Montanari, Guido Sciavicco	A General Tableau Method for Propositional Interval Temporal Logics.	TABLEAUX	2003	DBLP DOI BibTeX RDF
36	Erich Grädel, Colin Hirsch, Martin Otto 0001	Back and forth between guarded and modal logics.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	guarded logic, modal logic, Bisimulation, model theory
36	Francesco Paoli	On the algebraic structure of linear, relevance, and fuzzy logics.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
36	Norbert Preining	Gödel Logics and Cantor-Bendixon Analysis.	LPAR	2002	DBLP DOI BibTeX RDF
36	Eyal Amir	Interpolation Theorems for Nonmonotonic Reasoning Systems.	JELIA	2002	DBLP DOI BibTeX RDF
36	Frank S. de Boer, Rogier M. van Eijk	Decidable Navigation Logics for Object Structures.	CSL	2001	DBLP DOI BibTeX RDF
36	Sébastien Ferré, Olivier Ridoux	A Framework for Developing Embeddable Customized Logics.	LOPSTR	2001	DBLP DOI BibTeX RDF
36	Roman Kuznets	On the Complexity of Explicit Modal Logics.	CSL	2000	DBLP DOI BibTeX RDF
36	Maurizio Lenzerini	Description Logics and Their Relationships with Databases.	ICDT	1999	DBLP DOI BibTeX RDF
36	Grigoris Antoniou, Tyrone O'Neill, Joe Thurbon	Studying Properties of Classes of Default Logics - Preliminary Report.	PRICAI	1996	DBLP DOI BibTeX RDF
35	Rolf Haenni, Jan-Willem Romeijn, Gregory R. Wheeler, Jon Williamson	Possible Semantics for a Common Framework of Probabilistic Logics.	Interval / Probabilistic Uncertainty and Non-Classical Logics	2008	DBLP DOI BibTeX RDF
35	Yasuo Kudo, Tetsuya Murai, Seiki Akama	A Unified Formulation of Deduction, Induction and Abduction Using Granularity Based on VPRS Models and Measure-Based Semantics for Modal Logics.	Interval / Probabilistic Uncertainty and Non-Classical Logics	2008	DBLP DOI BibTeX RDF
34	Dimiter Vakarelov	A Modal Theory of Arrows. Arrow Logics I.	JELIA	1992	DBLP DOI BibTeX RDF	Arrow structures, Modal logics
34	Edmund M. Clarke, I. A. Draghicescu	Expressibility results for linear-time and branching-time logics.	REX Workshop	1988	DBLP DOI BibTeX RDF	linear-time logic, temporal logic, fairness, computation tree logics, branching-time logic
34	Cláudia Nalon, Clare Dixon	Anti-prenexing and Prenexing for Modal Logics.	JELIA	2006	DBLP DOI BibTeX RDF
34	Francesc Esteva, Lluís Godo, Franco Montagna	The LPL\Pi and LP1/2 L Pi 1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF
34	Stéphane Demri, Beata Konikowska	Relative Similarity Logics are Decidable: Reduction to FO2 with Equality.	JELIA	1998	DBLP DOI BibTeX RDF
33	Jules Desharnais, Nazim H. Madhavji	Relation Level Semantics.	FSTTCS	1988	DBLP DOI BibTeX RDF	CR Categories D.1.4 [Programming Techniques] Sequential Programming, D.3.1 [Programming Languages] Formal Definitions and Theory: Semantics, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about programs: Relations, F.3.2 [Logics and Meanings of Programs] Semantics of Programming Languages: Algebraic approaches to semantics, F.3.3 [Logics and Meanings of Programs] Studies of Program Constructs: Control Structures, Expressions, Denotational Semantics, Procedures
33	Pilar Dellunde	On the Multimodal Logic of Normative Systems.	COIN	2007	DBLP DOI BibTeX RDF	Fusions of Logics, Multimodal Logics, Sahlqvist Formulas, Multi-Agent Systems, Normative Systems, Model Theory
33	Jair Minoro Abe	Paraconsistent Artificial Neural Networks: An Introduction.	KES	2004	DBLP DOI BibTeX RDF	logical analyzer, Neural network, pattern recognition, paraconsistent logics, annotated logics
33	Philipp Rohde	Moving in a Crumbling Network: The Balanced Case.	CSL	2004	DBLP DOI BibTeX RDF	model checking, modal logics, dynamic logics
33	Georg Gottlob, Erich Grädel, Helmut Veith	Datalog LITE: a deductive query language with linear time model checking.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	guarded logics, verification, Complexity, databases, temporal logics
33	Roderic A. Girle, Michael A. McRobbie	Exploring the Epistemic Labyrinth: New Directions in the Formal Theory of Knowledge Representation.	Australian Joint Conference on Artificial Intelligence	1988	DBLP DOI BibTeX RDF	knowledge representation, modal logics, automated theorem proving, multi-valued logics
33	João Marcos 0001	What is a Non-truth-functional Logic?	Stud Logica	2009	DBLP DOI BibTeX RDF	Abstract logics, truth-functionality, formal semantics
33	Josep Maria Font	Taking Degrees of Truth Seriously.	Stud Logica	2009	DBLP DOI BibTeX RDF	Suszko’s Thesis, logical values, truth degrees, logics preserving degrees of truth, semantics, many-valued logic, abstract algebraic logic, truth values
33	Robert S. R. Myers, Dirk Pattinson, Lutz Schröder	Coalgebraic Hybrid Logic.	FoSSaCS	2009	DBLP DOI BibTeX RDF
33	Lujo Bauer, Limin Jia 0001, Michael K. Reiter, David Swasey	xDomain: cross-border proofs of access.	SACMAT	2009	DBLP DOI BibTeX RDF	logic-based access control, trust management, distributed authorization
33	Guoxing Zhao, Jixin Ma 0001, Fuxing Shen, Miltos Petridis	A Sound and Complete Reified Temporal Logic.	SNPD	2008	DBLP DOI BibTeX RDF	Reified Temporal Logic, Completeness
33	Davide Bresolin, Angelo Montanari, Guido Sciavicco	An Optimal Decision Procedure for Right Propositional Neighborhood Logic.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	tableaux-based decision procedures, right propositional neighborhood logic, interval temporal logic
33	Leslie Lamport	"Sometime" is Sometimes "Not Never" - On the Temporal Logic of Programs.	POPL	1980	DBLP DOI BibTeX RDF
32	Philipp Rohde	Expressive Power of Monadic Second-Order Logic and Modal µ-Calculus.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
32	Dietmar Berwanger, Achim Blumensath	The Monadic Theory of Tree-like Structures.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
31	Limin Chen, Hong Hu 0001, Zhongzhi Shi	Web Service Composition as Satisfiability Checking in Dynamic Description Logics.	GCC	2009	DBLP DOI BibTeX RDF	dynamic description logics, Semantic Web, satisfiability, description logics, Web service composition
31	Nick Bezhanishvili	Frame Based Formulas for Intermediate Logics.	Stud Logica	2008	DBLP DOI BibTeX RDF	frame based formulas, locally tabular logics, Intermediate logics
31	Yann Loyer, Nicolas Spyratos, Daniel Stamate	Integration of Information in Four-Valued Logics under Non-Uniform Assumptions.	ISMVL	2000	DBLP DOI BibTeX RDF	integration of heterogeneous information, logic programming, inconsistency, logics of knowledge, four-valued logics
31	Yann Loyer, Nicolas Spyratos, Daniel Stamate	Computing and Comparing Semantics of Programs in Four-Valued Logics.	MFCS	1999	DBLP DOI BibTeX RDF	logic programming, inconsistency, logics of knowledge, Four-valued logics
31	Dimiter Vakarelov	Modal Logics for Knowledge Representation Systems.	Logic at Botik	1989	DBLP DOI BibTeX RDF	knowledge representation systems, logics for knowledge representation, completeness theorems, filtration theorems, modal logics
31	Carlos Caleiro, João Marcos 0001	Classic-Like Analytic Tableaux for Finite-Valued Logics.	WoLLIC	2009	DBLP DOI BibTeX RDF	many-valued logics, proof theory
31	Julian Gutierrez 0001	Logics and Bisimulation Games for Concurrency, Causality and Conflict.	FoSSaCS	2009	DBLP DOI BibTeX RDF	Bisimulation games, Behavioural equivalences, Concurrent and reactive systems, Petri nets, Modal and temporal logics
31	Dorota Leszczynska-Jasion	The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.	Stud Logica	2008	DBLP DOI BibTeX RDF	modal propositional logics, extensions of logic S4, the method of Socratic proofs, logic of questions, Inferential EroteticLogic
31	Renate A. Schmidt, Dmitry Tishkovsky	On combinations of propositional dynamic logic and doxastic modal logics.	J. Log. Lang. Inf.	2008	DBLP DOI BibTeX RDF	Combinations of modal logics, Doxastic logic, Belief and knowledge, Epistemic logic, Dynamic logic, Reasoning about actions
31	Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui	From Axioms to Analytic Rules in Nonclassical Logics.	LICS	2008	DBLP DOI BibTeX RDF	nonclassical logics, hypersequent calculi, semantic cut-elimination, sequent calculi
31	Lech Polkowski, Maria Semeniuk-Polkowska	Reasoning about Concepts by Rough Mereological Logics.	RSKT	2008	DBLP DOI BibTeX RDF	logics for reasoning about knowledge, rough sets, rough mereology, granulation of knowledge
31	Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind	A sequent calculus and a theorem prover for standard conditional logics.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Analytic sequent calculi, labeled deductive systems, logic programming, proof theory, automated deduction, conditional logics
31	Jacques Wainer	Modeling generalized implicatures using non-monotonic logics.	J. Log. Lang. Inf.	2007	DBLP DOI BibTeX RDF	Generalized implicatures, Literal meaning, Nonmonotonic logics, Implicatures
31	Guilin Qi, Weiru Liu, David A. Bell	A revision-based approach to handling inconsistency in description logics.	Artif. Intell. Rev.	2006	DBLP DOI BibTeX RDF	Semantic web, Knowledge representation, Description logics, Stratification, Inconsistency handling
31	Jelle Gerbrandy	Logics of propositional control.	AAMAS	2006	DBLP DOI BibTeX RDF	agent and multi-agent architectures, logics for agent systems, cooperation and coordination among agents
31	Andreas Herzig, Ivan José Varzinczak	A Modularity Approach for a Fragment of ALC.	JELIA	2006	DBLP DOI BibTeX RDF	Knowledge representation, modularity, description logics
31	Dmitrij P. Skvortsov	On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees.	Stud Logica	2004	DBLP DOI BibTeX RDF	Intermediate predicate logics, recursive and finite axiomatizability, Kripke semantics
31	Peter Baumgartner 0001, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann	Optimizing the Evaluation of XPath Using Description Logics.	INAP/WLP	2004	DBLP DOI BibTeX RDF	XML, Description Logics, XPath, automated reasoning, Schema, DTD
31	Marcelo Finger, Wamberto Weber Vasconcelos	Sharing Resource-Sensitive Knowledge Using Combinator Logics.	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF	resource-sensitive logics, Knowledge sharing
31	Clare Dixon, Michael Fisher 0001	Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge.	TIME	2000	DBLP DOI BibTeX RDF	temporal and modal logics, non-classical resolution, theorem-proving
31	Yann Loyer, Nicolas Spyratos, Daniel Stamate	Hypothesis Support for Information Integration in Four-Valued Logics.	IFIP TCS	2000	DBLP DOI BibTeX RDF	deductive databases and knowledge bases, information integration, inconsistency, logics of knowledge, four-valued logic
31	Wojciech Penczek	Axiomatizations of Temporal Logics on Trace Systems.	STACS	1993	DBLP DOI BibTeX RDF	Classification Theory of Parallel and Distributed Computation, Semantics and Logics of Programming Languages, Logic in Computer Science
31	Anthony Hunter	A Conceptualization of Preferences in Non-Monotonic Proof Theory.	JELIA	1992	DBLP DOI BibTeX RDF	Labelled Deductive Systems, Non-monotonic logics
31	Linh Anh Nguyen, Andrzej Szalas	A Tableau Calculus for Regular Grammar Logics with Converse.	CADE	2009	DBLP DOI BibTeX RDF
31	Christian G. Fermüller	Dialogue Games for Many-Valued Logics - an Overview.	Stud Logica	2008	DBLP DOI BibTeX RDF	hypersequents, fuzzy logic, many-valued logic, dialogue games
31	Peter Verdée, Stephan van der Waart van Gulik	A Generic Framework for Adaptive Vague Logics.	Stud Logica	2008	DBLP DOI BibTeX RDF	supervaluationism, subvaluationism, clarity logic, dynamic proofs, fuzzy logic, vagueness, adaptive logic
31	Carlos Areces, Diego Figueira, Santiago Figueira, Sergio Mera	Expressive Power and Decidability for Memory Logics.	WoLLIC	2008	DBLP DOI BibTeX RDF
31	Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco	Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders.	JELIA	2008	DBLP DOI BibTeX RDF
31	Lutz Schröder, Dirk Pattinson	Modular Algorithms for Heterogeneous Modal Logics.	ICALP	2007	DBLP DOI BibTeX RDF
31	Philippe Schnoebelen	Model Checking Branching Time Logics.	TIME	2007	DBLP DOI BibTeX RDF
31	Lijun Wu, Jinshu Su	Symbolic Model Checking Temporal Logics of Knowledge in Multi-Agent System Via Extended Mu-Calculus.	LSMS (1)	2007	DBLP DOI BibTeX RDF
31	Ramon Jansana	Selfextensional Logics with a Conjunction.	Stud Logica	2006	DBLP DOI BibTeX RDF	selfextensional logic, Fregan logic, generalized matrix, full generalized model, fully adequate Gentzen system, algebraic logic, algebraizable logic
31	Joanna Golinska-Pilarek, Ewa Orlowska	Relational Logics and Their Applications.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF
31	Miroslaw Truszczynski	Nonmonotonic Logics and Their Algebraic Foundations.	CSL	2006	DBLP DOI BibTeX RDF
31	Insu Song, Guido Governatori	Hardware Implementation of Temporal Nonmonotonic Logics.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	agent, knowledge representation, temporal logic, nonmonotonic logic, chip design
31	Franz Baader, Ian Horrocks 0001, Ulrike Sattler	Description Logics as Ontology Languages for the Semantic Web.	Mechanizing Mathematical Reasoning	2005	DBLP DOI BibTeX RDF
31	Shinsuke Nara, Takashi Omi, Yuichi Goto, Jingde Cheng	A General-Purpose Forward Deduction Engine for Modal Logics.	KES (2)	2005	DBLP DOI BibTeX RDF
31	Walter Alexandre Carnielli	Polynomial Ring Calculus for Many-Valued Logics.	ISMVL	2005	DBLP DOI BibTeX RDF
31	Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang, Jie Xu	Reasoning Technique for Extended Fuzzy Description Logics.	ICTAI	2005	DBLP DOI BibTeX RDF
31	Marcelo Finger	Polynomial Approximations of Full Propositional Logic via Limited Bivalence.	JELIA	2004	DBLP DOI BibTeX RDF
31	Renate A. Schmidt, Ullrich Hustadt	Mechanised Reasoning and Model Generation for Extended Modal Logics.	Theory and Applications of Relational Structures as Knowledge Instruments	2003	DBLP DOI BibTeX RDF
31	Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev	Decidable and Undecidable Fragments of First-Order Branching Temporal Logics.	LICS	2002	DBLP DOI BibTeX RDF
31	Linh Anh Nguyen	Analytic Tableau Systems for Propositional Bimodal Logics of Knowledge and Belief.	TABLEAUX	2002	DBLP DOI BibTeX RDF
31	Erich Grädel	Efficient Evaluation Methods for Guarded Logics and Datalog LITE.	LPAR	2000	DBLP DOI BibTeX RDF
31	James J. Lu, Neil V. Murray, Erik Rosenthal	Annotated Hyperresolution for Non-horn Regular Multiple-Valued Logics.	ISMIS	2000	DBLP DOI BibTeX RDF
31	Angelo Montanari, Alberto Policriti, Matteo Slanina	Derivability in Locally Quantified Modal Logics via Translation in Set Theory.	MFCS	2000	DBLP DOI BibTeX RDF
31	Stéphane Demri, Rajeev Goré	Tractable Transformations from Modal Provability Logics into First-Order Logic.	CADE	1999	DBLP DOI BibTeX RDF
31	Thomas Lukasiewicz	Many-Valued First-Order Logics with Probabilistic Semantics.	CSL	1998	DBLP DOI BibTeX RDF
31	Fabio Massacci	Strongly Analytic Tableaux for Normal Modal Logics.	CADE	1994	DBLP DOI BibTeX RDF
31	Reinhard Muskens	Logical Omniscience and Classical Logic.	JELIA	1992	DBLP DOI BibTeX RDF	Logical Omniscience, Propositional Attitudes, Impossible Worlds, Epistemic Logic
31	Stephen D. Brookes, William C. Rounds	Behavioural Equivalence Relations Induced by Programming Logics.	ICALP	1983	DBLP DOI BibTeX RDF
30	Tim S. Lyon	Nested sequents for intermediate logics: the case of Gödel-Dummett logics.	J. Appl. Non Class. Logics	2023	DBLP DOI BibTeX RDF
30	Rafael Peñaloza	Semiring Provenance in Expressive Description Logics.	Description Logics	2023	DBLP BibTeX RDF
30	Ignacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca	ASP-based Axiom Pinpointing for Description Logics.	Description Logics	2023	DBLP BibTeX RDF
30	Alessandro Artale, Andrea Mazzullo	Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
30	Mario Alviano, Laura Giordano 0001, Daniele Theseider Dupré	Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
30	Joshua Hirschbrunn, Yevgeny Kazakov	Description Logics Go Second-Order - Extending EL with Universally Quantified Concepts.	Description Logics	2023	DBLP BibTeX RDF
30	Franz Baader, Filippo De Bortoli	On the Abstract Expressive Power of Description Logics with Concrete Domains.	Description Logics	2023	DBLP BibTeX RDF
30	Jean Christoph Jung, Andrea Mazzullo, Frank Wolter	More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions.	Description Logics	2022	DBLP BibTeX RDF
30	Bartosz Bednarczyk, Mateusz Urbanczyk	Comonadic Semantics for Description Logics Games.	Description Logics	2022	DBLP BibTeX RDF
30	Tim Lyon, Jonas Karge	Uniform and Modular Sequent Systems for Description Logics.	Description Logics	2022	DBLP BibTeX RDF
30	Birte Glimm, Yevgeny Kazakov, Michael Welt	Concept Abduction for Description Logics.	Description Logics	2022	DBLP BibTeX RDF
30	Sebastian Rudolph	Charting the Borderland - Decidability in Description Logics and Beyond (DL Invited Talk Abstract).	Description Logics	2022	DBLP BibTeX RDF