The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase stable models (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1978-1992 (19) 1993-1994 (19) 1995-1996 (19) 1997-1998 (18) 1999 (15) 2000-2001 (29) 2002-2003 (21) 2004 (22) 2005-2006 (21) 2007 (17) 2008 (18) 2009 (19) 2010-2012 (18) 2013-2015 (18) 2016-2019 (11)
Publication types (Num. hits)
article(103) incollection(1) inproceedings(180)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 134 occurrences of 64 keywords

Results
Found 284 publication records. Showing 284 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
71Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You Unfolding partiality and disjunctions in stable model semantics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF disjunctive stable models, partial models, Answer set programming, inference engine, quantified Boolean formulas, minimal models
60Thomas Eiter, Nicola Leone, Domenico Saccà Partial Semantics for Disjunctive Deductive Databases. Search on Bibsonomy DEXA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
52Dietmar Seipel Partial Evidential Stable Models for Disjunctive Deductive Databases. Search on Bibsonomy LPKR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
43Yining Wu, Martin Caminada, Dov M. Gabbay Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming. Search on Bibsonomy Studia Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF abstract argumentation, complete extensions, 3-valued stable models, logic programming
41Domenico Saccà, Carlo Zaniolo Stable Models and Non-Determinism in Logic Programs with Negation. Search on Bibsonomy PODS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
41Zbigniew Lonc, Miroslaw Truszczynski Fixed-parameter complexity of semantics for logic programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Normal logic programs, fixed-parameter complexity, supported models, stable models
40Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt Locally Determined Logic Programs and Recursive Stable Models. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF logic programming, non-monotonic logic
37Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001 Well-Founded and Partial Stable Semantics Logical Aspects. Search on Bibsonomy CSR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF partial stable models, equilibrium logic, partial equilibrium logic, well-founded semantics
36David Pearce 0001 Sixty Years of Stable Models. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Thomas Eiter, Michael Fink 0001 Uniform Equivalence of Logic Programs under the Stable Model Semantics. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF uniform equivalence, strong equivalence, computational complexity, program optimization, stable models, answer set semantics
32Zbigniew Lonc, Miroslaw Truszczynski Computing Minimal Models, Stable Models, and Answer Sets. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
32K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
30Emilia 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
29Georg 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
29Tomi Janhunen, Ilkka Niemelä, Mark Sevalnev Computing Stable Models via Reductions to Difference Logic. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
29Ilkka Niemelä Stable models and difference logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68T27
28C. A. Johnson Computing Only Minimal Answers in Disjunctive Deductive Databases. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Disjunctive deductive databases, Minimal answers, Perfect models, Disjunctive stable models, Cyclic sets, Strong covers, Database pre-processing, Compilation
28Weidong Chen 0005, David Scott Warren Tabled Evaluation With Delaying for General Logic Programs. Search on Bibsonomy J. ACM The full citation details ... 1996 DBLP  DOI  BibTeX  RDF tabled evaluation, program transformations, stable models, well-founded models
28Guan-Shieng Huang, Xiumei Jia, Churn-Jung Liau, Jia-Huai You Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison. Search on Bibsonomy Canadian Conference on AI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Claudia Zepeda, José Luis Carballido Computing of p-Stable Models Based on Semi-Negative Normal Programs with Constraints. Search on Bibsonomy ENC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Victor W. Marek, Jeffrey B. Remmel Automata and Answer Set Programming. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
23Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski Query Answering in Rough Knowledge Bases. Search on Bibsonomy RSFDGrC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Rough sets, logic programming, stable models, uncertain reasoning
23Nikolay Pelov, Marc Denecker, Maurice Bruynooghe Partial Stable Models for Logic Programs with Aggregates. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Xi-Shun Zhao, Yu-Ping Shen Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF polynomial-time model-equivalent reduction, semantics, quantified Boolean formula, disjunctive logic program
22V. Wiktor Marek, Jeffrey B. Remmel On the Expressibility of Stable Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
22Raymond T. Ng, V. S. Subrahmanian Stable Model Semantics for Probabilistic Deductive Databases. Search on Bibsonomy ISMIS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
21Lengning Liu, Miroslaw Truszczynski Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
20Joohyung Lee, Vladimir Lifschitz, Ravi Palla Safe Formulas in the General Theory of Stable Models (Preliminary Report). Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
20Zbigniew Lonc, Miroslaw Truszczynski Computing Stable Models: Worst-Case Performance Estimates. Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
20Ramón P. Otero psmodels: Stable Models Based on Pertinence. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
20Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001 Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs. Search on Bibsonomy IBERAMIA-SBIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
20Sergio Greco, Domenico Saccà Search and Optimization Problems in Datalog. Search on Bibsonomy Computational Logic: Logic Programming and Beyond The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
19Luís Moniz Pereira, Alexandre Miguel Pinto Revised Stable Models - A Semantics for Logic Programs. Search on Bibsonomy EPIA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
19Keijo Heljanko, Ilkka Niemelä Bounded LTL Model Checking with Stable Models. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
19Piero A. Bonatti Prototypes for Reasoning with Infinite Stable Models and Function Symbols. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
19Carolina Ruiz, Jack Minker Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs. Search on Bibsonomy NMELP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
19Miroslaw Truszczynski Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF logic here-and-there, answer-set programming, Stable models
19Luís Moniz Pereira, Alexandre Miguel Pinto Layer Supported Models of Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Semantics, Relevance, Layering, Stable Models
19Thomas Eiter, Michael Fink 0001, Gianluigi Greco, Domenico Lembo Repair localization for query answering from inconsistent databases. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF inconsistency management in databases, logic programming, data integration, stable models, consistent query answering, Database repairs
19Thomas Eiter, Michael Fink 0001, Stefan Woltran Semantical characterizations and complexity of equivalences in answer set programming. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF strong equivalence, uniform equivalence, computational complexity, program optimization, stable models, Answer set semantics
19Nicola Leone, Gerald Pfeifer, Wolfgang Faber 0001, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello The DLV system for knowledge representation and reasoning. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computational complexity, knowledge representation, implementation, nonmonotonic reasoning, stable models, Answer sets
19Vladimir Lifschitz, Alexander A. Razborov Why are there so many loop formulas? Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF loop formulas, stable models, P-completeness, Answer sets
19Robert Saxon Milnikel Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF default logic, sequent calculus, stable models, autoepistemic logic
19Vladimir Lifschitz, David Pearce 0001, Agustín Valverde Strongly equivalent logic programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF logic programming, stable models, answer sets
19Fosca Giannotti, Giuseppe Manco, Mirco Nanni, Dino Pedreschi Nondeterministic, Nonmonotonic Logic Databases. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF databases, Logic programming, nondeterminism, negation, stable models
19Allen Van Gelder, Kenneth A. Ross, John S. Schlipf The Well-Founded Semantics for General Logic Programs. Search on Bibsonomy J. ACM The full citation details ... 1991 DBLP  DOI  BibTeX  RDF unfounded sets, three-valued logic, stable models, fixpoints, well-founded models, negation as failure
19Phan 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
18Yannis Dimopoulos, Andreas Sideris Towards Local Search for Answer Sets. Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
18Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt Locally Determined Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
18Nicola Leone, Francesco Scarcello, V. S. Subrahmanian Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF computational complexity, knowledge representation, nonmonotonic reasoning, optimization problems, Disjunctive logic programming
17Ramón P. Otero Induction of Stable Models. Search on Bibsonomy ILP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
16Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano Translating Datalog-Like Optimization Queries into ILOG Programs. Search on Bibsonomy LOPSTR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
16Kazumi Nakamatsu, Atsuyuki Suzuki A Non-monotonic ATMS Based on Annotated Logic Programs with Strong Negation. Search on Bibsonomy Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
16Piero A. Bonatti Reasoning with Infinite Stable Models II: Disjunctive Programs. Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15Pedro Cabalar, Sergei P. Odintsov, David Pearce 0001, Agustín Valverde Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15Zbigniew Lonc, Miroslaw Truszczynski Fixed-Parameter Complexity of Semantics for Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
14Ilkka Niemelä Integrating Answer Set Programming and Satisfiability Modulo Theories. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
14Pascal Nicolas, Laurent Garcia, Igor Stéphan, Claire Lefèvre Possibilistic uncertainty handling for answer set programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF PACS 68T30, 68N17, 68T27, 68T37
14Louiqa Raschid, Jorge Lobo 0001 Semantics for Update Rule Programs and Implementations in a Relational Database Management System. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF constant maintenance, deductive database, rule-based systems, fixpoint semantics, update rules, stable model semantics
14Zbigniew Lonc, Miroslaw Truszczynski Computing minimal models, stable models and answer sets. Search on Bibsonomy TPLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
14Zbigniew Lonc, Miroslaw Truszczynski Computing minimal models, stable models and answer sets Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
13Joohyung Lee, Ravi Palla System f2lp - Computing Answer Sets of First-Order Formulas. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
13Vladimir Lifschitz Twelve Definitions of a Stable Model. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
13Tomi Janhunen, Ilkka Niemelä GNT - A Solver for Disjunctive Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
13Thomas Eiter, Michael Fink 0001, Giuliana Sabbatini, Hans Tompits Considerations on Updates of Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
12José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite Semantics for Dynamic Logic Programming: A Principle-Based Approach. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
12David Pearce 0001, Hans Tompits, Stefan Woltran Encodings for Equilibrium Logic and Logic Programs with Nested Expressions. Search on Bibsonomy EPIA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
12Ján Sefránek A Kripkean Semantics for Dynamic Logic Programming. Search on Bibsonomy LPAR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF dynamic logic programming, dynamic Kripke structure, updates, nonmonotonic reasoning, stable model, knowledge representation and reasoning, Kripke structure, knowledge evolution
12Dietmar Seipel Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases. Search on Bibsonomy FoIKS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
11V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski Logic Programs With Monotone Cardinality Atoms. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
11Bin Han 0004, Yang Lu, Kai Wan, Hans D. Schotten Merging the Bernoulli-Gaussian and symmetric α-stable models for impulsive noises in narrowband power line channels. Search on Bibsonomy Physical Communication The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
11Federico Igne, Agostino Dovier, Enrico Pontelli MASP-Reduce: A Proposal for Distributed Computation of Stable Models. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
11Tarek Khaled, Belaid Benhamou, Pierre Siegel A New Method for Computing Stable Models in Logic Programming. Search on Bibsonomy ICTAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
11Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub Introducing Temporal Stable Models for Linear Dynamic Logic. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
11Kyle Marple, Elmer Salazar, Gopal Gupta Computing Stable Models of Normal Logic Programs Without Grounding. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
11Richard Hewitt, Jaime Díaz-Pacheco Stable models for metastable systems? Lessons from sensitivity analysis of a Cellular Automata urban land use model. Search on Bibsonomy Computers, Environment and Urban Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
11Nicolás Madrid A sufficient condition to guarantee the existence of fuzzy stable models on residuated logic programming with constrains. Search on Bibsonomy FUZZ-IEEE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
11Paolo Pistone On Dinaturality, Typability and beta-eta-Stable Models. Search on Bibsonomy FSCD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
11Amelia Harrison, Vladimir Lifschitz Stable Models for Infinitary Formulas with Extensional Atoms. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
11Amelia Harrison, Vladimir Lifschitz Stable models for infinitary formulas with extensional atoms. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
11Javier Romero 0003, Torsten Schaub, Philipp Wanko Computing Diverse Optimal Stable Models. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
11Rongpeng Li, Zhifeng Zhao, Chen Qi, Xuan Zhou 0005, Yifan Zhou, Honggang Zhang Understanding the Traffic Nature of Mobile Instantaneous Messaging in Cellular Networks: A Revisiting to α-Stable Models. Search on Bibsonomy IEEE Access The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
11Diego Romeres, Gianluigi Pillonetto, Alessandro Chiuso Identification of stable models via nonparametric prediction error methods. Search on Bibsonomy ECC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
11Pedro Cabalar Stable Models for Temporal Theories - - Invited Talk -. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
11Petr Homola Natural Language Understanding as First-Order Abduction via Stable Models. Search on Bibsonomy DARe@IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
11Petr Homola First-Order Abduction as Enumeration of Stable Models. Search on Bibsonomy TbiLLC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
11Jean-Noël Bacro, Carlo Gaetan Estimation of spatial max-stable models using threshold exceedances. Search on Bibsonomy Statistics and Computing The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
11Joohyung Lee, Ravi Palla Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
11Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran Modularity Aspects of Disjunctive Stable Models. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
11Gianpaolo Brignoli, Stefania Costantini, Ottavio M. D'Antona, Alessandro Provetti Characterizing and computing stable models of logic programs: The non-stratified case. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
11Joohyung Lee, Yi Wang 0048 Stable Models of Fuzzy Propositional Formulas. Search on Bibsonomy PRUV The full citation details ... 2014 DBLP  BibTeX  RDF
11Joohyung Lee, Yi Wang 0048 Stable Models of Fuzzy Propositional Formulas. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
11Pedro Cabalar, Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde A Free Logic for Stable Models with Partial Intensional Functions. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
11Michael Bartholomew, Joohyung Lee Stable Models of Multi-Valued Formulas: Partial versus Total Functions. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
11Vladimir Lifschitz, Fangkai Yang Lloyd-Topor Completion and General Stable Models Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
11Joohyung Lee, Yunsong Meng Two New Definitions of Stable Models of Logic Programs with Generalized Quantifiers Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
11Vladimir Lifschitz, Fangkai Yang Lloyd-Topor completion and general stable models. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
11Despoina Magka, Markus Krötzsch, Ian Horrocks Computing Stable Models for Nonmonotonic Existential Rules. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
11Luis Fariñas del Cerro, David Pearce 0001, Agustín Valverde FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
11Nicolás Madrid, Manuel Ojeda-Aciego On the existence and unicity of stable models in normal residuated logic programs. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 284 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license