Search results for "Logics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Thomas Mantay	Computing Least Common Subsumers in Expressive Description Logics.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF
25	Agata Ciabattoni, Dov M. Gabbay, Nicola Olivetti	Cut-free proof systems for logics of weak excluded middle.	Soft Comput.	1998	DBLP DOI BibTeX RDF
25	Frank Wolter	All finitely axiomatizable subframe logics containing the provability logic CSM 0_{0} are decidable.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991): 03B45, 03B25
25	Pascal Coupey, Catherine Faron	Towards Correspondence between Conceptual Graphs and Description Logics.	ICCS	1998	DBLP DOI BibTeX RDF
25	Jean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger	Axioms for Real-Time Logics.	CONCUR	1998	DBLP DOI BibTeX RDF
25	Moshe Y. Vardi	Alternating Automata: Unifying Truth and Validity Checking for Temporal Logics.	CADE	1997	DBLP DOI BibTeX RDF
25	Patrick Lambrix, Jalal Maleki	Learning Composite Concepts in Description Logics: A First Step.	ISMIS	1996	DBLP DOI BibTeX RDF
25	Orna Kupferman	Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions.	CAV	1995	DBLP DOI BibTeX RDF
25	Vladimir V. Rybakov	Modal Logics Preserving Admissible for S4 Inference Rules.	CSL	1994	DBLP DOI BibTeX RDF
25	Richard B. Scherl	Equality and Constrained Resolution.	JELIA	1994	DBLP DOI BibTeX RDF
25	Matthias Baaz, Christian G. Fermüller	Resolution for Many-Valued Logics.	LPAR	1992	DBLP DOI BibTeX RDF
25	Ricardo Caferra, Stéphane Demri	Semantic Entailment in Non Classical Logics Based on Proofs Found in Classical Logic.	CADE	1992	DBLP DOI BibTeX RDF
25	William W. Cohen, Haym Hirsh	Learnability of Description Logics.	COLT	1992	DBLP DOI BibTeX RDF
25	Ursula Goltz, Ruurd Kuiper 0001, Wojciech Penczek	Propositional Temporal Logics and Equivalences.	CONCUR	1992	DBLP DOI BibTeX RDF
25	Neil V. Murray, Erik Rosenthal	Resolution and Path Dissolution in Multi-Valued Logics.	ISMIS	1991	DBLP DOI BibTeX RDF
25	Robin Milner, Joachim Parrow, David Walker 0001	Modal Logics for Mobile Processes.	CONCUR	1991	DBLP DOI BibTeX RDF
25	Reiner Hähnle	Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics.	CSL	1990	DBLP DOI BibTeX RDF
25	Kurt Konolige	Resolution and Quantified Epistemic Logics.	CADE	1986	DBLP DOI BibTeX RDF
23	Magdalena Ortiz 0001	Extending Carinto the Description Logics of the Family.	JELIA	2008	DBLP DOI BibTeX RDF
23	Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler	Cheap Boolean Role Constructors for Description Logics.	JELIA	2008	DBLP DOI BibTeX RDF
23	Umberto Straccia	Towards Top-k Query Answering in Description Logics: The Case of DL-Lite.	JELIA	2006	DBLP DOI BibTeX RDF
23	Guilin Qi, Weiru Liu, David A. Bell	Knowledge Base Revision in Description Logics.	JELIA	2006	DBLP DOI BibTeX RDF
23	Mehmet Giritli	Measure Logics for Spatial Reasoning.	JELIA	2004	DBLP DOI BibTeX RDF
23	Natasha Alechina, Brian Logan 0001, Mark Whitsey	Modelling Communicating Agents in Timed Reasoning Logics.	JELIA	2004	DBLP DOI BibTeX RDF
23	Vladimir V. Rybakov	Refined common knowledge logics or logics of common information.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
23	Christoph Beierle, Gabriele Kern-Isberner	Using Institutions for the Study of Qualitative and Quantitative Conditional Logics.	JELIA	2002	DBLP DOI BibTeX RDF
23	Ullrich Hustadt, Renate A. Schmidt	Issues of Decidability for Description Logics in the Framework of Resolution.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
23	Aida Pliuskeviciene	Effective Properties of Some First-Order Intuitionistic Modal Logics.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
23	Sonia M. Leach, James J. Lu, Neil V. Murray, Erik Rosenthal	Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics.	JELIA	1998	DBLP DOI BibTeX RDF
23	Leendert W. N. van der Torre	Phased Labeled Logics of Conditional Goals.	JELIA	1998	DBLP DOI BibTeX RDF
23	Véronique Royer, Joachim Quantz	Deriving Inference Rules for Terminological Logics.	JELIA	1992	DBLP DOI BibTeX RDF
23	Christine Froidevaux, Jérôme Mengin	A Framework for Default Logics.	JELIA	1992	DBLP DOI BibTeX RDF
22	Jair Minoro Abe, Kazumi Nakamatsu, Seiki Akama	Two Applications of Paraconsistent Logical Controller.	New Directions in Intelligent Interactive Multimedia	2008	DBLP DOI BibTeX RDF	conflicts and automation, paraconsistent logics, annotated logics, temperature sensors, Logical controller
22	Sergey Babenyshev, Vladimir V. Rybakov	Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL.	CiE	2008	DBLP DOI BibTeX RDF	multi-agent logics, relational Kripke-Hintikka models, decidability algorithms, satisfiability, linear temporal logic, hybrid logics
22	George Voutsadakis	Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	quasi-varieties, order homomorphisms, order isomorphisms, polarity translations, order translations, algebraic systems, protoalgebraic -institutions, institutions, polarities, varieties, algebraizable logics, protoalgebraic logics
22	Wolfgang Rautenberg, Michael Zakharyaschev, Frank Wolter	Willem Blok and Modal Logic.	Stud Logica	2006	DBLP DOI BibTeX RDF	superintuitionistic logics, modal logics, splittings, modal algebras
22	Lubos Brim, Karen Yorav, Jitka Zidkova	Assumption-based distribution of CTL model checking.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Many-valuated logics, Model checking, Distributed algorithms, Branching time logics
22	Rocco De Nicola, Michele Loreti	A modal logic for mobile agents.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	Mobile Code Languages, Temporal Logics of Programs, Mobility, Logics, Proof Systems, Coordination Models
22	Carlo Meghini, Fabrizio Sebastiani 0001, Umberto Straccia	A model of multimedia information retrieval.	J. ACM	2001	DBLP DOI BibTeX RDF	fuzzy logics, Description logics, multimedia information retrieval
22	Hiroshi Nakano	A Modality for Recursion.	LICS	2000	DBLP DOI BibTeX RDF	Lambda and Combinatory Caluculi, Type Systems and Type Theory, Specifications, Modal and Temporal Logics, Logics of Programs
22	Dexter Kozen	On Hoare Logic and Kleene Algebra with Tests.	LICS	1999	DBLP DOI BibTeX RDF	combination of logics, verification, formal methods, universal algebra, logics of programs
22	Jennifer Widom, David Gries, Fred B. Schneider	Trace-Based Network Proof Systems: Expressiveness and Completeness.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	trace logics, temporal logics, safety properties, process networks
22	Francesc Esteva, Lluís Godo, Carles Noguera	Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics.	Soft Comput.	2010	DBLP DOI BibTeX RDF	Mathematical fuzzy logic, Left-continuous t-norms, T-norm based logics, Truth-constants, Evaluated formulae, Real and rational completeness
22	Silvio Ghilardi, Enrica Nicolini, Daniele Zucchelli	A comprehensive combination framework.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	modal and description logics, decision procedures, Combination, higher-order logic, satisfiability modulo theory
22	Elia Zardini	A Model of Tolerance.	Stud Logica	2008	DBLP DOI BibTeX RDF	sorites paradox, transitivity of consequence, many-valued logics, vagueness, lattice theory
22	Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli	Finding informative commonalities in concept collections.	CIKM	2008	DBLP DOI BibTeX RDF	informative common subsumers, non-standard inferences, description logics
22	Sergey Babenyshev, Vladimir V. Rybakov	Logic of Plausibility for Discovery in Multi-agent Environment Deciding Algorithms.	KES (3)	2008	DBLP DOI BibTeX RDF	multi-agent’s reasoning, Kripke/Hintikka models, linear temporal logic, hybrid logics, decision algorithms, plausibility
22	Kazushige Terui	Light affine lambda calculus and polynomial time strong normalization.	Arch. Math. Log.	2007	DBLP DOI BibTeX RDF	Light logics, Lambda calculus, Polynomial time
22	Vladimir Kolovski, James A. Hendler, Bijan Parsia	Analyzing web access control policies.	WWW	2007	DBLP DOI BibTeX RDF	access control, description logics, XACML, policy analysis
22	Raffaella Gentilini, Klaus Schneider 0001, Alexander Dreyer	Three-valued automated reasoning on analog properties.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	(multi valued) temporal logics & model checking, interval arithmetic, analog circuits
22	Yuichi Goto, Jingde Cheng	A quantitative analysis of implicational paradoxes in classical mathematical logic.	SAC	2006	DBLP DOI BibTeX RDF	automated forward deduction, strong relevance, knowledge representation and reasoning, relevant logics
22	Djamal Benslimane, Ahmed Arara, Gilles Falquet, Zakaria Maamar, Philippe Thiran, Faïez Gargouri	Contextual Ontologies.	ADVIS	2006	DBLP DOI BibTeX RDF	Ontology, Context, Description logics
22	Liza Verhoeven, Leon Horsten	On the Exclusivity Implicature of 'Or' or on the Meaning of Eating Strawberries.	Stud Logica	2005	DBLP DOI BibTeX RDF	exclusivity implicature, Adaptive Logics
22	Dimiter Vakarelov	Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.	Stud Logica	2005	DBLP DOI BibTeX RDF	Nelson negation, subminimal logic, counterexample semantics, many-valued logics
22	Agata Ciabattoni	A proof-theoretical investigation of global intuitionistic (fuzzy) logic.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Modal predicate logics, Hypersequent calculi, Globalization, Cut-elimination
22	Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Giacomo Piscitelli, Stefano Coppi	Knowledge based approach to semantic composition of teams in an organization.	SAC	2005	DBLP DOI BibTeX RDF	concept abduction, concept covering, description logics
22	Yinglong Ma, Jun Wei 0001, Beihong Jin, Shaohua Liu	A Formal Framework for Ontology Integration Based on a Default Extension to DDL.	ICTAC	2004	DBLP DOI BibTeX RDF	distributed description logics, default extension, Tableau algorithm, Ontology integration, semantic query
22	Kevin Lee, Thomas Andreas Meyer	A Classification of Ontology Modification.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF	Ontologies, Description Logics, Belief Revision
22	Djamal Benslimane, Mohand-Said Hacid, Evimaria Terzi, Farouk Toumani	A Class-Based Logic Language for Ontologies.	FQAS	2002	DBLP DOI BibTeX RDF	Ontologies, Description Logics, Rule-Based Languages
22	Agata Ciabattoni	On Urquhart's C Logic.	ISMVL	2000	DBLP DOI BibTeX RDF	Urquhart's C logic, hypersequent calculi, many-valued logics
22	Hubert Comon, Véronique Cortier	Flatness Is Not a Weakness.	CSL	2000	DBLP DOI BibTeX RDF	Counter automata, model-checking, verification, temporal logics, logic in computer science
22	Carlos Areces, Wiet Bouma, Maarten de Rijke	Feature Interaction as a Satisfiability Problem.	MASCOTS	1999	DBLP DOI BibTeX RDF	Satisfiability, Description Logics, Feature Interaction, Automated Deduction
22	Josep Maria Font	On the Contributions of Helena Rasiowa to Mathematical Logic.	ISMVL	1996	DBLP DOI BibTeX RDF	Helena Rasiowa, abstract algebra, formal logic, ordered sets, non-classical logics, mathematical logic, biographies
22	V. S. Subrahmanian	Amalgamating Knowledge Bases.	ACM Trans. Database Syst.	1994	DBLP DOI BibTeX RDF	amalgamated knowledge bases, annotated logics
22	Yi Nicholas Wang	A Two-Dimensional Hybrid Logic of Subset Spaces.	ICLA	2009	DBLP DOI BibTeX RDF	two-sorted hybrid language, logic of subset spaces, Gentzen system for hybrid logic, hybrid logic
22	Johan van Benthem	Decisions, Actions, and Games: A Logical Perspective.	ICLA	2009	DBLP DOI BibTeX RDF
22	José Meseguer 0001	The Temporal Logic of Rewriting: A Gentle Introduction.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
22	Radu Mardare, Alberto Policriti	A Complete Axiomatic System for a Process-Based Spatial Logic.	MFCS	2008	DBLP DOI BibTeX RDF
22	Xiaowang Zhang, Zuoquan Lin	Paraconsistent Reasoning with Quasi-classical Semantic in .	RR	2008	DBLP DOI BibTeX RDF
22	Antoine Zimmermann, Chan Le Duc	Reasoning with a Network of Aligned Ontologies.	RR	2008	DBLP DOI BibTeX RDF
22	Gem Stapleton, Judith Masthoff, Jean Flower, Andrew Fish, Jane Southern	Automated Theorem Proving in Euler Diagram Systems.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	Heuristics, Visual languages, Diagrammatic reasoning, Euler diagrams
22	Livia Predoiu	Probabilistic Information Integration and Retrieval in the Semantic Web.	ISWC/ASWC	2007	DBLP DOI BibTeX RDF
22	Balder ten Cate, Johan van Benthem, Jouko A. Väänänen	Lindstrom theorems for fragments of first-order logic.	LICS	2007	DBLP DOI BibTeX RDF
22	Christoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, Rostislav Rusev, Dalibor Topic	System Description: SpassVersion 3.0.	CADE	2007	DBLP DOI BibTeX RDF
22	Juan Carlos Agudelo Agudelo, Walter Alexandre Carnielli	Unconventional Models of Computation Through Non-standard Logic Circuits.	UC	2007	DBLP DOI BibTeX RDF
22	James P. Delgrande	On a rule-based interpretation of default conditionals.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 68T30
22	Marcelo Finger, Dov M. Gabbay	Cut and Pay.	J. Log. Lang. Inf.	2006	DBLP DOI BibTeX RDF
22	Stéphane Demri, Ranko Lazic 0001	LTL with the Freeze Quantifier and Register Automata.	LICS	2006	DBLP DOI BibTeX RDF
22	Xianwei Lai, Shanli Hu, Zhengyuan Ning	Reasoning about Actions, Knowledge and Normative Ability.	Intelligent Information Processing	2006	DBLP DOI BibTeX RDF	cooperation logic, multi-agent systems, knowledge, actions, ATL
22	Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge	On the logic of coalitional games.	AAMAS	2006	DBLP DOI BibTeX RDF	game theory, logic, coalitional games
22	Churn-Jung Liau	A modal logic framework for multi-agent belief fusion.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	belief fusion, multi-sources reasoning, multi-agent systems, belief revision, Epistemic logic, database merging
22	Marcelo d'Amorim, Klaus Havelund	Event-based runtime verification of java programs.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	event versus state predicates, Java, aspect oriented programming, temporal logic, runtime verification, program instrumentation
22	Norihiro Kamide	Gentzen-Type Methods for Bilattice Negation.	Stud Logica	2005	DBLP DOI BibTeX RDF	Bilattice negation, completeness, sequent calculus, substructural logic, strong negation
22	Scott Dick	Toward complex fuzzy logic.	IEEE Trans. Fuzzy Syst.	2005	DBLP DOI BibTeX RDF
22	Lutz Schröder	Expressivity of Coalgebraic Modal Logic: The Limits and Beyond.	FoSSaCS	2005	DBLP DOI BibTeX RDF
22	Jianjiang Lu, Baowen Xu, Yanhui Li, Dazhou Kang, Peng Wang 0004	Extended Fuzzy ALCN and Its Tableau Algorithm.	FSKD (1)	2005	DBLP DOI BibTeX RDF
22	Ladislav J. Kohout, Eunjin Kim	Characterization of Interval Fuzzy Logic Systems of Connectives by Group Transformations.	Reliab. Comput.	2004	DBLP DOI BibTeX RDF
22	Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen	Program Monitoring with LTL in EAGLE.	IPDPS	2004	DBLP DOI BibTeX RDF
22	Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen	Rule-Based Runtime Verification.	VMCAI	2004	DBLP DOI BibTeX RDF
22	Arnon Avron	Tableaux with Four Signs as a Unified Framework.	TABLEAUX	2003	DBLP DOI BibTeX RDF
22	Larisa Maksimova, Andrei Voronkov	Complexity of Some Problems in Modal and Intuitionistic Calculi.	CSL	2003	DBLP DOI BibTeX RDF
22	Pablo Cordero, Manuel Enciso, Inman P. de Guzmán	Bases for closed sets of implicants and implicates in temporal logic.	Acta Informatica	2002	DBLP DOI BibTeX RDF
22	Wiebe van der Hoek, Michael J. Wooldridge	Model Checking Knowledge and Time.	SPIN	2002	DBLP DOI BibTeX RDF
22	Supakorn Kungpisdan, Yongyuth Permpoontanalarp	Practical Reasoning about Accountability in Electronic Commerce Protocols.	ICISC	2001	DBLP DOI BibTeX RDF	Formal methods for security protocols, analysis of electronic commerce protocols
22	Céline Rouveirol, Véronique Ventos	Towards Learning in CARIN-ALN.	ILP	2000	DBLP DOI BibTeX RDF
22	Moshe Y. Vardi	Reasoning about The Past with Two-Way Automata.	ICALP	1998	DBLP DOI BibTeX RDF
22	Jennifer M. Davoren	On Hybrid Systems and the Modal µ-calculus.	Hybrid Systems	1997	DBLP DOI BibTeX RDF
21	Zofia Kostrzycka, Marek Zaionc	Fuzzy logics - quantitatively.	J. Appl. Non Class. Logics	2024	DBLP DOI BibTeX RDF
21	John Grant	Postulate satisfaction for inconsistency measures in monotonic logics and databases.	J. Appl. Non Class. Logics	2023	DBLP DOI BibTeX RDF
21	Martin Gius, Hans Tompits	Sequent-type rejection systems for finite-valued non-deterministic logics.	J. Appl. Non Class. Logics	2023	DBLP DOI BibTeX RDF