The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for circumscription with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1980-1985 (18) 1986-1987 (17) 1988-1989 (21) 1990 (16) 1991-1993 (19) 1994-1995 (23) 1996-1997 (20) 1998-2000 (20) 2001-2002 (16) 2003-2005 (16) 2006-2009 (21) 2010-2013 (16) 2014-2019 (15) 2022-2023 (3)
Publication types (Num. hits)
article(78) inproceedings(163)
Venues (Conferences, Journals, ...)
Artif. Intell.(26) IJCAI(19) AAAI(11) JELIA(11) ECAI(8) LPNMR(8) NMR(8) ISMIS(7) CoRR(6) KR(6) CADE(5) Fundam. Informaticae(5) LICS(5) ACM Trans. Comput. Log.(4) J. Autom. Reason.(4) RR(4) More (+10 of total 93)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 63 occurrences of 41 keywords

Results
Found 241 publication records. Showing 241 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
126Toshiko Wakaki, Katsumi Inoue Compiling Prioritized Circumscription into Answer Set Programming. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
114Zuoquan Lin Paraconsistent Circumscription: First-Order Case. Search on Bibsonomy ISMVL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF paraconsistent circumscription, predicate circumscription, minimal semantics, nonmonotonic reasoning, formal logic, paraconsistent logic, nonmonotonic logic, classical logic
111Gustav Nordh, Peter Jonsson An Algebraic Approach to the Complexity of Propositional Circumscription. Search on Bibsonomy LICS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
111Yves Moinard, Raymond Rolland Smallest Equivalent Sets for Finite Propositional Formula Circumscription. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
111Jianhua Chen 0003 Embedding Prioritized Circumscription in Logic Programs. Search on Bibsonomy ISMIS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
105Emilia Oikarinen, Tomi Janhunen Implementing Prioritized Circumscription by Computing Disjunctive Stable Models. Search on Bibsonomy AIMSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Prioritized circumscription, disjunctive stable models, answer set programming, linear transformation
105Marco Cadoli, Thomas Eiter, Georg Gottlob Complexity of propositional nested circumscription and nested abnormality theories. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Horn theories, nested abnormality theories, computational complexity, nonmonotonic reasoning, knowledge representation and reasoning, Circumscription
105Phokion G. Kolaitis, Christos H. Papadimitriou Some Computational Aspects of Circumscription Search on Bibsonomy J. ACM The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Horn, Model checking, NP-completeness, first-order logic, nonmonotonic reasoning, undecidability, Circumscription
96Uwe Egly, Hans Tompits On Proof Complexity of Circumscription. Search on Bibsonomy TABLEAUX The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
90Peter K. Rathmann, Marianne Winslett, Mark S. Manasse Circumscription with Homomorphisms: Solving the Equality and Counterexample Problems. Search on Bibsonomy J. ACM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF common sense reasoning, circumscription
81Emilia Oikarinen, Tomi Janhunen A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
76Lefteris M. Kirousis, Phokion G. Kolaitis On the Complexity of Model Checking and Inference in Minimal Models. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
66Lefteris M. Kirousis, Phokion G. Kolaitis A Dichotomy in the Complexity of Propositional Circumscription. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
66Gustav Nordh A Trichotomy in the Complexity of Propositional Circumscription. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
66Li-Yan Yuan, Jia-Huai You Discriminant Circumscription. Search on Bibsonomy FSTTCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Logic Programming with Negation, Deductive Databases, Nonmonotonic Reasoning
66Atsushi Togashi, Ben-Hui Hou, Shoichi Noguchi Believability in Default Logic Entails Logical Consequence from Circumscription (Somestimes). Search on Bibsonomy KBCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
61Atsushi Togashi, Ben-Hui Hou, Shoichi Noguchi Generalized Predicate Completion. Search on Bibsonomy KBCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
61Gerhard Jäger Some Contributions to the Logical Analysis of Circumscrition. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
51Emilia Oikarinen, Tomi Janhunen circ2dlp - Translating Circumscription into Disjunctive Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
51Tomi Janhunen, Emilia Oikarinen Capturing Parallel Circumscription with Disjunctive Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
51Ken Satoh Formalizing Retrieval Goal Change by Prioritized Circumscription - Preliminary Report. Search on Bibsonomy CIA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
51Michael Beeson A Second-Order Theorem Prover Applied to Circumscription. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
51Koji Iwanuma Conservative Query Normalization on Parallel Circumscription. Search on Bibsonomy CADE The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
51Jack Minker, Donald Perlis Applications of Protected Circumscription. Search on Bibsonomy CADE The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
45Yves Moinard, Raymond Rolland Around a Powerful Property of Circumscriptions. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
41Gaby Merziger, Mathias Bauer Conditioned Circumscription: Translating Defaults to Circumscription. Search on Bibsonomy GWAI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
39Piero A. Bonatti, Nicola Olivetti Sequent calculi for propositional nonmonotonic logics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Default Logic, Circumscription, Sequent calculi, Autoepistemic Logic, Rejection methods
39Georg Gottlob, Francesco Scarcello, Martha Sideri Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Complexity, Logic Programming, Constraint Satisfaction, Nonmonotonic Reasoning, Fixed-parameter Tractability, Stable Models, Prime Implicants, Circumscription
39Phan Minh Dung On the strong completion of logic programs. Search on Bibsonomy ALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF predicate completion, two-valued logic, Logic programming, negation, three-valued logic, stable models, circumscription, well-founded models
36Fangkai Yang, Xiaoping Chen Integrating Rules and Description Logics with Circumscription for the Semantic Web. Search on Bibsonomy RuleML The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Katsumi Inoue, Haruka Saito Circumscription Policies for Induction. Search on Bibsonomy ILP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Arnaud Durand 0001, Miki Hermann The Inference Problem for Propositional Circumscription of Affine Formulas Is coNP-Complete. Search on Bibsonomy STACS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
36Piero A. Bonatti, Nicola Olivetti A Sequent Calculus for Circumscription. Search on Bibsonomy CSL The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
36Marco Cadoli, Francesco M. Donini, Marco Schaerf On Compact Representations of Propositional Circumscription. Search on Bibsonomy STACS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
36Li-Yan Yuan, Jia-Huai You Knowledge Base Revision Using Circumscription. Search on Bibsonomy DOOD The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
30Michael Thomas 0001 The Complexity of Circumscriptive Inference in Post's Lattice. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Thomas Eiter, Georg Gottlob On the Complexity of Theory Curbing. Search on Bibsonomy LPAR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
30Patrick Doherty 0001, Witold Lukaszewicz, Andrzej Szalas Efficient Reasoning Using the Local Closed-World Assumption. Search on Bibsonomy AIMSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
30Piero A. Bonatti, Thomas Eiter Querying Disjunctive Database Through Nonmonotonic Logics. Search on Bibsonomy ICDT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
30Patrick Doherty 0001, Witold Lukaszewicz Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change. Search on Bibsonomy ISMIS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
30Leopoldo E. Bertossi, Raymond Reiter On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and Examples. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
24Georgios K. Giannikis, Aspassia Daskalopulu The Representation of e-Contracts as Default Theories. Search on Bibsonomy IEA/AIE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Reasoning with incomplete knowledge, Multi-agent systems, E-commerce, Default Logic, Event Calculus, Default reasoning, Circumscription
24Robert van Rooij, Katrin Schulz Exhaustive Interpretation of Complex Sentences. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF conversational implicatures, exhaustive interpretation, pragmatics, non-monotonic reasoning, Circumscription
24Uwe Egly, Hans Tompits Proof-complexity results for nonmonotonic reasoning. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF default logic, circumscription, sequent calculi
24Christos H. Papadimitriou On Selecting a Satisfying Truth Assignment (Extended Abstract) Search on Bibsonomy FOCS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF 2SAT, satisfying truth assignment selection, natural generalizations, default preference, polynomial-time randomized algorithm, complexity, satisfiability, minimality, circumscription, selection criteria
21Piero A. Bonatti, Federica Di Stefano 0001, Magdalena Ortiz 0001, Mantas Simkus Circumscription in DL-Lite: Progress Report. Search on Bibsonomy Description Logics The full citation details ... 2023 DBLP  BibTeX  RDF
21Federica Di Stefano 0001, Magdalena Ortiz 0001, Mantas Simkus Description Logics with Pointwise Circumscription. Search on Bibsonomy IJCAI The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
21Federica Di Stefano 0001, Magdalena Ortiz 0001, Mantas Simkus Pointwise Circumscription in Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2022 DBLP  BibTeX  RDF
21Mario Alviano Argumentation Reasoning via Circumscription with Pyglaf. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
21Mario Alviano Query Answering in Propositional Circumscription. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
21Mario Alviano Model enumeration in propositional circumscription via unsatisfiable core analysis. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
21Mario Alviano Model enumeration in propositional circumscription via unsatisfiable core analysis. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
21Mallika R. Robinson, Ahmed Imran, Michael Barlow Practice of Design Science Research in a Developing Country: Circumscription Knowledge Informed by the Socio-cultural Context. Search on Bibsonomy ACIS The full citation details ... 2017 DBLP  BibTeX  RDF
21Mario Alviano Ingredients of the Argumentation Reasoner pyglaf: Python, Circumscription, and Glucose to Taste. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2017 DBLP  BibTeX  RDF
21Michael Richter, Ramon Rosselló-Mora, Frank Oliver Glöckner, Jörg Peplies JSpeciesWS: a web server for prokaryotic species circumscription based on pairwise genome comparison. Search on Bibsonomy Bioinform. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21Stathis Delivorias, Sebastian Rudolph Revisiting Grounded Circumscription in Description Logics. Search on Bibsonomy RR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
21Arjun Bhardwaj Extending SROIQ with Constraint Networks and Grounded Circumscription. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
21Yisong Wang, Kewen Wang 0001, Zhe Wang 0001, Zhiqiang Zhuang Knowledge Forgetting in Circumscription: A Preliminary Report. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
21Olaf Beyersdorff, Leroy Chew The Complexity of Theorem Proving in Circumscription and Minimal Entailment. Search on Bibsonomy Electron. Colloquium Comput. Complex. The full citation details ... 2014 DBLP  BibTeX  RDF
21 GC-SROIQ(C) : Expressive Constraint Modelling and Grounded Circumscription for SROIQ. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
21Piero A. Bonatti, Carsten Lutz, Frank Wolter The Complexity of Circumscription in DLs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
21Hai Wan, Zhanhao Xiao, Zhenfeng Yuan, Heng Zhang 0006, Yan Zhang 0003 Computing General First-Order Parallel and Prioritized Circumscription. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
21Olaf Beyersdorff, Leroy Chew The Complexity of Theorem Proving in Circumscription and Minimal Entailment. Search on Bibsonomy IJCAR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
21Dantong Ouyang, Xianji Cui, Yuxin Ye Integrity constraints in OWL ontologies based on grounded circumscription. Search on Bibsonomy Frontiers Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
21Vernon Asuncion, Yan Zhang 0003, Heng Zhang 0006, Yi Zhou 0013 Constructive Circumscription. Search on Bibsonomy Theory Pract. Log. Program. The full citation details ... 2013 DBLP  BibTeX  RDF
21Christoph Wernhard Projection and scope-determined circumscription. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
21Neelakantan Kartha Lifschitz and Circumscription. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
21Paolo Ferraris, Joohyung Lee 0002, Vladimir Lifschitz Stable models and circumscription. Search on Bibsonomy Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
21Fangzhen Lin, Yi Zhou 0013 From answer set logic programming to circumscription via logic of GK. Search on Bibsonomy Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
21Kunal Sengupta, Adila Alfa Krisnadhi, Pascal Hitzler Local Closed World Semantics: Grounded Circumscription for OWL. Search on Bibsonomy ISWC (1) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
21Mikolás Janota, João Marques-Silva 0001 cmMUS: A Tool for Circumscription-Based MUS Membership Testing. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
21Qian Yang, Jia-Huai You, Zhiyong Feng 0002 Integrating Rules and Description Logics by Circumscription. Search on Bibsonomy AAAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
21Michael Bartholomew, Joohyung Lee 0002, Yunsong Meng First-Order Semantics of Aggregates in Answer Set Programming Via Modified Circumscription. Search on Bibsonomy AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning The full citation details ... 2011 DBLP  BibTeX  RDF
21Michael Bartholomew, Joohyung Lee 0002, Yunsong Meng First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
21Adila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler Local Closed World Semantics: Grounded Circumscription for Description Logics. Search on Bibsonomy RR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
21Mikolás Janota, João Marques-Silva 0001, Radu Grigore Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
21Christoph Wernhard Circumscription and Projection as Primitives of Logic Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
21Heng Zhang 0006, Mingsheng Ying Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
21Mikolás Janota, Radu Grigore, João Marques-Silva 0001 Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
21Piero A. Bonatti, Carsten Lutz, Frank Wolter The Complexity of Circumscription in DLs. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima Reconsideration of circumscriptive induction with pointwise circumscription. Search on Bibsonomy J. Appl. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Christoph Wernhard Literal Projection and Circumscription. Search on Bibsonomy FTP The full citation details ... 2009 DBLP  BibTeX  RDF
21Arnaud Durand 0001, Miki Hermann On the counting complexity of propositional circumscription. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
21Patrick Doherty 0001, Andrzej Szalas Reasoning with Qualitative Preferences and Cardinalities using Generalized Circumscription. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
21Fangkai Yang, Xiaoping Chen DL_clog: A Hybrid System Integrating Rules and Description Logics with Circumscription. Search on Bibsonomy Description Logics The full citation details ... 2007 DBLP  BibTeX  RDF
21Fangzhen Lin, Yi Zhou 0013 From Answer Set Logic Programming to Circumscription via Logic of GK. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
21Joohyung Lee 0002, Fangzhen Lin Loop formulas for circumscription. Search on Bibsonomy Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Piero A. Bonatti, Carsten Lutz, Frank Wolter Description Logics with Circumscription. Search on Bibsonomy KR The full citation details ... 2006 DBLP  BibTeX  RDF
21Joohyung Lee 0002, Fangzhen Lin Loop Formulas for Circumscription. Search on Bibsonomy AAAI The full citation details ... 2004 DBLP  BibTeX  RDF
21John McCarthy 0001 Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription. Search on Bibsonomy KR The full citation details ... 2004 DBLP  BibTeX  RDF
21Hubie Chen Inverse Circumscription. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
21Marco Cadoli, Thomas Eiter, Georg Gottlob Complexity of Nested Circumscription and Nested Abnormality Theories Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
21Graham White 0001 Intensionality and circumscription. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
21Sylvie Coste-Marquis, Pierre Marquis Knowledge Compilation for Closed World Reasoning and Circumscription. Search on Bibsonomy J. Log. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
21Lefteris M. Kirousis, Phokion G. Kolaitis A Dichotomy in the Complexity of Propositional Circumscription. Search on Bibsonomy LICS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
21Marco Cadoli, Thomas Eiter, Georg Gottlob Complexity of Nested Circumscription and Abnormality Theories. Search on Bibsonomy IJCAI The full citation details ... 2001 DBLP  BibTeX  RDF
21Yves Moinard Note about cardinality-based circumscription. Search on Bibsonomy Artif. Intell. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
21Alexei Lisitsa 0001 Generalized vs formula circumscription over finite models. Search on Bibsonomy AI&M The full citation details ... 2000 DBLP  BibTeX  RDF
21Jianhua Chen 0003 Embedding prioritized circumscription in disjunctive logic programs. Search on Bibsonomy J. Exp. Theor. Artif. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
21Sylvie Coste-Marquis, Pierre Marquis Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases. Search on Bibsonomy IJCAI The full citation details ... 1999 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 241 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license