Search results for "logics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	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
5	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
4	Stefano Aguzzoli, Matteo Bianchi, Vincenzo Marra	A Temporal Semantics for Basic Logic.	Studia Logica	2009	DBLP DOI BibTeX RDF	Basic Logic, Temporal logics, Modal logics, Many-valued logics, ?ukasiewicz logic
4	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
4	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
4	Hiroakira Ono	An Algebraic Approach to Substructural Logics - An Overview.	Interval / Probabilistic Uncertainty and Non-Classical Logics	2008	DBLP DOI BibTeX RDF
4	Johan van Benthem, Guram Bezhanishvili, Balder ten Cate, Darko Sarenac	Multimo dal Logics of Products of Topologies.	Studia Logica	2006	DBLP DOI BibTeX RDF	Fusion of modal logics, products of modal logics, topological product, horizontal, vertical topologies
4	Josep Maria Font	Beyond Rasiowa's Algebraic Approach to Non-classical Logics.	Studia Logica	2006	DBLP DOI BibTeX RDF	implicative logics, equivalential logics, Leibniz hierarchy, generalized matrices, Gentzen systems, Frege hierarchy, algebraizable logics, Abstract algebraic logic
4	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
4	Matthias Baaz, Rosalie Iemhoff	Gentzen Calculi for the Existence Predicate.	Studia 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
4	Arnon Avron	A Non-deterministic View on Non-classical Negations.	Studia Logica	2005	DBLP DOI BibTeX RDF	Non-deterministic Semantics, Many-valued Logics, Paraconsistent Logics, Negation, Constructive Logics
4	Katalin Bimbó	Admissibility of Cut in LC with Fixed Point Combinator.	Studia Logica	2005	DBLP DOI BibTeX RDF	structurally free logics, fked point combinator, (multiple) cut rule, elimination theorem, substructural logics, non-classical logics, combinatory logic
4	Lou Goble	Combinator Logics.	Studia Logica	2004	DBLP DOI BibTeX RDF	fusion, residuation, substructural logics, Relevant logics, combinatory logic
4	Francesco M. Donini, Daniele Nardi, Riccardo Rosati	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
4	Piero A. Bonatti	Towards Service Description Logics.	JELIA	2002	DBLP DOI BibTeX RDF	Semantic Web, Description Logics
4	Dietmar Berwanger, Achim Blumensath	Automata for Guarded Fixed Point Logics.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
4	Thoralf Räsch	Introduction to Guarded Logics.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
4	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
4	Viorica Sofronie-Stokkermans	Representation Theorems and Theorem Proving in Non-Classical Logics. (PDF / PS)	ISMVL	1999	DBLP DOI BibTeX RDF	distributive lattices with operators, Priestley duality, many-values logics, automated theorem proving, Non-classical logics
4	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
4	Stefan Gerberding	DT - An Automated Theorem Prover for Multiple-Valued First-Order Predicate Logics. (PDF / PS)	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
4	F. Sokhatsky	The Deepest Repetition-Free Decompositions of Non-Singular Functions of Finite-Valued Logics. (PDF / PS)	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
4	Dimiter Vakarelov	A Modal Theory of Arrows. Arrow Logics I.	JELIA	1992	DBLP DOI BibTeX RDF	Arrow structures, Modal logics
4	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
4	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
3	Luciano Serafini, Martin Homola	Contextual Representation and Reasoning with Description Logics.	Description Logics	2011	DBLP BibTeX RDF
3	Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler	Nominal Schemas for Integrating Rules and Description Logics.	Description Logics	2011	DBLP BibTeX RDF
3	Carsten Lutz, Frank Wolter	Non-Uniform Data Complexity of Query Answering in Description Logics.	Description Logics	2011	DBLP BibTeX RDF
3	Szymon Klarman, Víctor Gutiérrez-Basulto	Two-Dimensional Description Logics of Context.	Description Logics	2011	DBLP BibTeX RDF
3	Gerhard Jäger	Modal Fixed Point Logics.	Logics and Languages for Reliability and Security	2010	DBLP DOI BibTeX RDF
3	Norihiro Kamide	Paraconsistent Description Logics Revisited.	Description Logics	2010	DBLP BibTeX RDF
3	Nikos Simou, Theofilos P. Mailis, Giorgos Stoilos, Giorgos B. Stamou	Optimization Techniques for Fuzzy Description Logics.	Description Logics	2010	DBLP BibTeX RDF
3	Yue Ma, Pascal Hitzler	Distance-based Measures of Inconsistency and Incoherency for Description Logics.	Description Logics	2010	DBLP BibTeX RDF
3	Chan Le Duc, Myriam Lamolle	Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms.	Description Logics	2010	DBLP BibTeX RDF
3	Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone	Second-Order Description Logics: Semantics, Motivation, and a Calculus.	Description Logics	2010	DBLP BibTeX RDF
3	Norihiro Kamide	A Compatible Approach to Temporal Description Logics.	Description Logics	2010	DBLP BibTeX RDF
3	Inanç Seylan, Enrico Franconi, Jos de Bruijn	Optimal Rewritings in Definitorially Complete Description Logics.	Description Logics	2010	DBLP BibTeX RDF
3	Laura Giordano, 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
3	Carlos Caleiro, João Marcos	Classic-Like Analytic Tableaux for Finite-Valued Logics.	WoLLIC	2009	DBLP DOI BibTeX RDF	many-valued logics, proof theory
3	Krzysztof Goczyla, Wojciech Waloszek, Aleksander Waloszek	A Semantic Algebra for Modularized Description Logics Knowledge Bases.	Description Logics	2009	DBLP BibTeX RDF
3	Giorgos Stoilos, Giorgos B. Stamou	A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics.	Description Logics	2009	DBLP BibTeX RDF
3	Rui Zhang, Alessandro Artale, Fausto Giunchiglia, Bruno Crispo	Using Description Logics in Relation Based Access Control.	Description Logics	2009	DBLP BibTeX RDF
3	Felix Distel	Model-Based Most Specific Concepts in Some Inexpressive Description Logics.	Description Logics	2009	DBLP BibTeX RDF
3	Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati	On Higher-Order Description Logics.	Description Logics	2009	DBLP BibTeX RDF
3	Katarina Britz, Johannes Heidema, Tommie Meyer	Modelling Object Typicality in Description Logics.	Description Logics	2009	DBLP BibTeX RDF
3	Oliver Gries	Generalized Closed World Reasoning in Description Logics with Extended Domain Closure.	Description Logics	2009	DBLP BibTeX RDF
3	Thomas Lukasiewicz, Azzurra Ragone	A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation.	Description Logics	2009	DBLP BibTeX RDF
3	Rajeev Goré	Global Caching, Inverse Roles and Fixpoint Logics.	Description Logics	2009	DBLP BibTeX RDF
3	Pavel Klinov, Bijan Parsia, Ulrike Sattler	On Correspondences between Probabilistic First-Order and Description Logics.	Description Logics	2009	DBLP BibTeX RDF
3	Xiaowang Zhang, Guilin Qi, Yue Ma, Zuoquan Lin	Quasi-Classical Semantics for Expressive Description Logics.	Description Logics	2009	DBLP BibTeX RDF
3	Espen H. Lian, Arild Waaler	An Only Knowing Approach to Defeasible Description Logics (Extended Abstract).	Description Logics	2009	DBLP BibTeX RDF
3	Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio	A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics.	Description Logics	2009	DBLP BibTeX RDF
3	Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini	A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results.	Description Logics	2009	DBLP BibTeX RDF
3	Julian Gutierrez	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
3	Limin Chen, Hong Hu, 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
3	Inanç Seylan, Wojciech Jamroga	Description logic for coalitions.	AAMAS	2009	DBLP DOI BibTeX RDF	strategic logics, satisfiability, description logics, tableaux
3	Arnon Avron, Beata Konikowska	Proof Systems for Reasoning about Computation Errors.	Studia Logica	2009	DBLP DOI BibTeX RDF	lazy sequential computation, parallel computation, three-valued logics, sequent calculi, four-valued logics, non-deterministic matrices, computation errors
3	Nick Bezhanishvili	Frame Based Formulas for Intermediate Logics.	Studia Logica	2008	DBLP DOI BibTeX RDF	frame based formulas, locally tabular logics, Intermediate logics
3	Dorota Leszczynska-Jasion	The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.	Studia Logica	2008	DBLP DOI BibTeX RDF	modal propositional logics, extensions of logic S4, the method of Socratic proofs, logic of questions, Inferential EroteticLogic
3	Sato Kentaro	Proper Semantics for Substructural Logics, from a Stalker Theoretic Point of View.	Studia 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
3	Arnon Avron, Beata Konikowska	Rough Sets and 3-Valued Logics.	Studia Logica	2008	DBLP DOI BibTeX RDF	rough sets, three-valued logics, sequent calculi, non-deterministic matrices
3	Renate A. Schmidt, Dmitry Tishkovsky	On combinations of propositional dynamic logic and doxastic modal logics.	Journal of Logic, Language and Information	2008	DBLP DOI BibTeX RDF	Combinations of modal logics, Doxastic logic, Belief and knowledge, Epistemic logic, Dynamic logic, Reasoning about actions
3	Magdalena Ortiz, Diego Calvanese, Thomas Eiter	Data Complexity of Query Answering in Expressive Description Logics via Tableaux.	J. Autom. Reasoning	2008	DBLP DOI BibTeX RDF	Expressive description logics, Query answering, Data complexity
3	Leonid Libkin, Cristina Sirangelo	Reasoning about XML with Temporal Logics and Automata.	LPAR	2008	DBLP DOI BibTeX RDF	Query automata, XML, static analysis, temporal logics
3	Mira Balaban, Azzam Maraee	A UML-Based Method for Deciding Finite Satisfiability in Description Logics.	Description Logics	2008	DBLP BibTeX RDF
3	Peihong Ke, Ulrike Sattler	Next Steps for Description Logics of Minimal Knowledge and Negation as Failure.	Description Logics	2008	DBLP BibTeX RDF
3	Guilin Qi, Fangkai Yang	A Survey of Revision Approaches in Description Logics.	Description Logics	2008	DBLP BibTeX RDF
3	David Toman, Grant E. Weddell	Identifying Objects Over Time with Description Logics.	Description Logics	2008	DBLP BibTeX RDF
3	Yue Ma, Pascal Hitzler, Zuoquan Lin	Paraconsistent Reasoning for Expressive and Tractable Description Logics.	Description Logics	2008	DBLP BibTeX RDF
3	Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini	Partial and Informative Common Subsumers of Concepts Collections in Description Logics.	Description Logics	2008	DBLP BibTeX RDF
3	Saïd Radhouani, Gilles Falquet	Description Logics-Based Modelling for Precise Information Retrieval.	Description Logics	2008	DBLP BibTeX RDF
3	Azzurra Ragone, Umberto Straccia, Fernando Bobillo, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini	Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces.	Description Logics	2008	DBLP BibTeX RDF
3	Olivier Couchariere, Marie-Jeanne Lesot, Bernadette Bouchon-Meunier	Consistency Checking for Extended Description Logics.	Description Logics	2008	DBLP BibTeX RDF
3	Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett	08061 Executive Summary -- Types, Logics and Semantics for State.	Types, Logics and Semantics for State	2008	DBLP BibTeX RDF
3	Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett	08061 Abstracts Collection -- Types, Logics and Semantics for State.	Types, Logics and Semantics for State	2008	DBLP BibTeX RDF
3	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
3	Daniel Stamate	Default Reasoning with Imperfect Information in Multivalued Logics.	ISMVL	2008	DBLP DOI BibTeX RDF	multivalued logics, default reasoning, imperfect information, bilattices
3	Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler	Cheap Boolean Role Constructors for Description Logics.	JELIA	2008	DBLP DOI BibTeX RDF
3	Magdalena Ortiz	Extending Carinto the Description Logics of the Family.	JELIA	2008	DBLP DOI BibTeX RDF
3	François-Marie Colonna, Omar Boucelma	Feature logics based discovery and composition of biological web resources.	iiWAS	2008	DBLP DOI BibTeX RDF	biological data, feature logics, integration techniques, xml
3	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
3	Matthias Baaz, George Metcalfe	Herbrand Theorems and Skolemization for Prenex Fuzzy Logics.	CiE	2008	DBLP DOI BibTeX RDF	Herbrand Theorem, Fuzzy Logics, Skolemization
3	Wojciech Buszkowski	Type Logics and Pregroups.	Studia Logica	2007	DBLP DOI BibTeX RDF	bilinear algebra, substructural logics, pregroup, Lambek calculus
3	Lou Goble	Combinatory Logic and the Semantics of Substructural Logics.	Studia Logica	2007	DBLP DOI BibTeX RDF	Routley-Meyer relational semantics, Substructural logics, combinatory logic
3	Jacques Wainer	Modeling generalized implicatures using non-monotonic logics.	Journal of Logic, Language and Information	2007	DBLP DOI BibTeX RDF	Generalized implicatures, Literal meaning, Nonmonotonic logics, Implicatures
3	Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati	Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family.	J. Autom. Reasoning	2007	DBLP DOI BibTeX RDF	DL-Lite, Description logics, Query answering, Ontology languages
3	Ullrich Hustadt, Boris Motik, Ulrike Sattler	Reasoning in Description Logics by a Reduction to Disjunctive Datalog.	J. Autom. Reasoning	2007	DBLP DOI BibTeX RDF	Description logics, Data complexity, Disjunctive datalog
3	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
3	Johan van Benthem, Guram Bezhanishvili	Modal Logics of Space.	Handbook of Spatial Logics	2007	DBLP DOI BibTeX RDF
3	Mauro Dragoni, Andrea Tettamanzi	Evolutionary algorithms for reasoning in fuzzy description logics with fuzzy quantifiers.	GECCO	2007	DBLP DOI BibTeX RDF	fuzzy quantification, evolutionary algorithms, fuzzy logic, description logics
3	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
3	Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin	Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.	Description Logics	2007	DBLP BibTeX RDF
3	Martin Homola	Distributed Description Logics Revisited.	Description Logics	2007	DBLP BibTeX RDF
3	Yue Ma, Pascal Hitzler, Zuoquan Lin	Paraconsistent Resolution for Four-valued Description Logics.	Description Logics	2007	DBLP BibTeX RDF
3	Heiner Stuckenschmidt	Approximate Subsumption for Complex Description Logics.	Description Logics	2007	DBLP BibTeX RDF
3	Jean-David Roubach, Pascal Yim, Joaquin Rodriguez	Description Logics in the Calculus of Structures.	Description Logics	2007	DBLP BibTeX RDF
3	Shoham Ben-David, Richard J. Trefler, Grant E. Weddell	Modal vs. Propositional Reasoning for model checking with Description Logics.	Description Logics	2007	DBLP BibTeX RDF
3	Antoine Zimmermann	Integrated Distributed Description Logics.	Description Logics	2007	DBLP BibTeX RDF
3	Sébastien Ferré, Olivier Ridoux	From Description Logics to Logic Functors, and Back.	Description Logics	2007	DBLP BibTeX RDF
3	Fangkai Yang, Xiaoping Chen	DL_clog: A Hybrid System Integrating Rules and Description Logics with Circumscription.	Description Logics	2007	DBLP BibTeX RDF