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
80Tomi 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
71Thomas Eiter, Nicola Leone, Domenico Saccà Partial Semantics for Disjunctive Deductive Databases. Search on Bibsonomy DEXA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
59Dietmar Seipel Partial Evidential Stable Models for Disjunctive Deductive Databases. Search on Bibsonomy LPKR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
47Domenico 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
45Zbigniew 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
45Yining 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
44Douglas 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
41Pedro 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
40David Pearce 0001 Sixty Years of Stable Models. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Zbigniew Lonc, Miroslaw Truszczynski Computing Minimal Models, Stable Models, and Answer Sets. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
35Thomas 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
34K. 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
32Tomi 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
32Ilkka 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
31Georg 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
31Victor W. Marek, Jeffrey B. Remmel Automata and Answer Set Programming. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
30Guan-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
30C. 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
30Weidong 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
29Emilia 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
29Claudia 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
26Xi-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
25V. 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
25Raymond 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
25Nikolay 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
24Aida 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
24Pedro 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
23Lengning 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
23Sergio 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
22Joohyung 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
22Zbigniew Lonc, Miroslaw Truszczynski Computing Stable Models: Worst-Case Performance Estimates. Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
22Ramón P. Otero psmodels: Stable Models Based on Pertinence. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
21Nicola 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
21Yannis Dimopoulos, Andreas Sideris Towards Local Search for Answer Sets. Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt Locally Determined Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
20Luí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
20Keijo Heljanko, Ilkka Niemelä Bounded LTL Model Checking with Stable Models. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
20Piero 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
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
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
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
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
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
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
18Gianluigi 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
18Kazumi 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
18Carolina 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
18Pedro 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
18Zbigniew Lonc, Miroslaw Truszczynski Fixed-Parameter Complexity of Semantics for Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
17Ramón P. Otero Induction of Stable Models. Search on Bibsonomy ILP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
17Ilkka Niemelä Integrating Answer Set Programming and Satisfiability Modulo Theories. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
17Pascal 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
17Louiqa 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
16Piero A. Bonatti Reasoning with Infinite Stable Models II: Disjunctive Programs. Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
15Joohyung 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
15Vladimir Lifschitz Twelve Definitions of a Stable Model. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Tomi Janhunen, Ilkka Niemelä GNT - A Solver for Disjunctive Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
15Thomas 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
14José 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
14David 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
14Já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
14Dietmar 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
14V. 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
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
12Luciano Caroprese, Ester Zumpano Consistent Data Integration in P2P Deductive Databases. Search on Bibsonomy SUM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
12Viet Phan Luong Between Well-Founded Semantics and Stable Model Semantics. Search on Bibsonomy IDEAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
12Luciano Caroprese, Ester Zumpano Modeling Cooperation in P2P Data Management Systems. Search on Bibsonomy ISMIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
11Wolfgang Gatterbauer, Dan Suciu Data conflict resolution using trust mappings. Search on Bibsonomy SIGMOD Conference The full citation details ... 2010 DBLP  DOI  BibTeX  RDF community database, consistency, data exchange, stable model
11Victor W. Marek, Jeffrey B. Remmel On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
11Victor W. Marek, Jeffrey B. Remmel Compactness Properties for Stable Semantics of Logic Programs. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
11Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz A generalization of the Lin-Zhao theorem. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68T30, 68T27
11Mohamed-Jalal Fadili, Larbi Boubchir Analytical form for a Bayesian wavelet estimator of images using the Bessel K form densities. Search on Bibsonomy IEEE Trans. Image Processing The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Mónica Caniupán Marileo, Leopoldo E. Bertossi Optimizing repair programs for consistent query answering. Search on Bibsonomy SCCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Tomi Janhunen Capturing Stationary and Regular Extensions with Reiter's Extensions. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
11Marina De Vos, Dirk Vermeir A Logic for Modeling Decision Making with Dynamic Preferences. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
11Marina De Vos, Dirk Vermeir Choice Logic Programs and Nash Equilibria in Strategic Games. Search on Bibsonomy CSL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF game theory, logic programs, nondeterminism, choice, stable model semantics
11Dietmar Seipel An Alternating Well-Founded Semantics for Query Answering in Disjunctive Databases. Search on Bibsonomy FQAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
11Weidong Chen 0005, David Scott Warren Query Evaluation under the Well Founded Semantics. Search on Bibsonomy PODS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
11Luís Moniz Pereira, Alexandre Miguel Pinto Layered Models Top-Down Querying of Normal Logic Programs. Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Smodels, XSB-XASP, Semantics, Relevance
11Toshiko Wakaki, Katsumi Inoue Compiling Prioritized Circumscription into Answer Set Programming. Search on Bibsonomy ICLP 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
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
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
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
11Paolo Pistone On Dinaturality, Typability and beta-eta-Stable Models. Search on Bibsonomy FSCD 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
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
11Pedro Cabalar Stable Models for Temporal Theories - - Invited Talk -. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  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
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