Search results for "stable models"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Yining Wu, Martin Caminada, Dov M. Gabbay	Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming.	Studia Logica	2009	DBLP DOI BibTeX RDF	abstract argumentation, complete extensions, 3-valued stable models, logic programming
2	Tomi Janhunen, Ilkka Niemelä, Mark Sevalnev	Computing Stable Models via Reductions to Difference Logic.	LPNMR	2009	DBLP DOI BibTeX RDF
2	Pedro Cabalar, Sergei P. Odintsov, David Pearce	Well-Founded and Partial Stable Semantics Logical Aspects.	CSR	2009	DBLP DOI BibTeX RDF	partial stable models, equilibrium logic, partial equilibrium logic, well-founded semantics
2	C. A. Johnson	Computing Only Minimal Answers in Disjunctive Deductive Databases.	J. Autom. Reasoning	2009	DBLP DOI BibTeX RDF	Disjunctive deductive databases, Minimal answers, Perfect models, Disjunctive stable models, Cyclic sets, Strong covers, Database pre-processing, Compilation
2	Ilkka Niemelä	Stable models and difference logic.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68T27
2	David Pearce	Sixty Years of Stable Models.	ICLP	2008	DBLP DOI BibTeX RDF
2	Joohyung Lee, Vladimir Lifschitz, Ravi Palla	Safe Formulas in the General Theory of Stable Models (Preliminary Report).	ICLP	2008	DBLP DOI BibTeX RDF
2	Claudia Zepeda, José Luis Carballido	Computing of p-Stable Models Based on Semi-Negative Normal Programs with Constraints.	ENC	2008	DBLP DOI BibTeX RDF
2	Emilia Oikarinen, Tomi Janhunen	Implementing Prioritized Circumscription by Computing Disjunctive Stable Models.	AIMSA	2008	DBLP DOI BibTeX RDF	Prioritized circumscription, disjunctive stable models, answer set programming, linear transformation
2	Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You	Unfolding partiality and disjunctions in stable model semantics.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	disjunctive stable models, partial models, Answer set programming, inference engine, quantified Boolean formulas, minimal models
2	Luís Moniz Pereira, Alexandre Miguel Pinto	Revised Stable Models - A Semantics for Logic Programs.	EPIA	2005	DBLP DOI BibTeX RDF
2	Lengning Liu, Miroslaw Truszczynski	Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers.	LPNMR	2005	DBLP DOI BibTeX RDF
2	Douglas A. Cenzer, Jeffrey B. Remmel, Amy Vanderbilt	Locally Determined Logic Programs and Recursive Stable Models.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	logic programming, non-monotonic logic
2	Nikolay Pelov, Marc Denecker, Maurice Bruynooghe	Partial Stable Models for Logic Programs with Aggregates.	LPNMR	2004	DBLP DOI BibTeX RDF
2	Zbigniew Lonc, Miroslaw Truszczynski	Computing Minimal Models, Stable Models, and Answer Sets.	ICLP	2003	DBLP DOI BibTeX RDF
2	Zbigniew Lonc, Miroslaw Truszczynski	Fixed-parameter complexity of semantics for logic programs.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	Normal logic programs, fixed-parameter complexity, supported models, stable models
2	Thomas Eiter, Michael Fink	Uniform Equivalence of Logic Programs under the Stable Model Semantics.	ICLP	2003	DBLP DOI BibTeX RDF	uniform equivalence, strong equivalence, computational complexity, program optimization, stable models, answer set semantics
2	Aida Vitória, Carlos Viegas Damásio, Jan Maluszynski	Query Answering in Rough Knowledge Bases.	RSFDGrC	2003	DBLP DOI BibTeX RDF	Rough sets, logic programming, stable models, uncertain reasoning
2	Zbigniew Lonc, Miroslaw Truszczynski	Computing Stable Models: Worst-Case Performance Estimates.	ICLP	2002	DBLP DOI BibTeX RDF
2	Piero A. Bonatti	Reasoning with Infinite Stable Models II: Disjunctive Programs.	ICLP	2002	DBLP DOI BibTeX RDF
2	Guan-Shieng Huang, Xiumei Jia, Churn-Jung Liau, Jia-Huai You	Two-Literal Logic Programs and Satisfiability Representation of Stable Models: A Comparison.	Canadian Conference on AI	2002	DBLP DOI BibTeX RDF
2	K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka	Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models.	ICLP	2001	DBLP DOI BibTeX RDF
2	Keijo Heljanko, Ilkka Niemelä	Bounded LTL Model Checking with Stable Models.	LPNMR	2001	DBLP DOI BibTeX RDF
2	Piero A. Bonatti	Prototypes for Reasoning with Infinite Stable Models and Function Symbols.	LPNMR	2001	DBLP DOI BibTeX RDF
2	Ramón P. Otero	psmodels: Stable Models Based on Pertinence.	LPNMR	2001	DBLP DOI BibTeX RDF
2	Ramón P. Otero	Induction of Stable Models.	ILP	2001	DBLP DOI BibTeX RDF
2	Georg Gottlob, Francesco Scarcello, Martha Sideri	Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning.	LPNMR	1999	DBLP DOI BibTeX RDF	Complexity, Logic Programming, Constraint Satisfaction, Nonmonotonic Reasoning, Fixed-parameter Tractability, Stable Models, Prime Implicants, Circumscription
2	Dietmar Seipel	Partial Evidential Stable Models for Disjunctive Deductive Databases.	LPKR	1997	DBLP DOI BibTeX RDF
2	Weidong Chen, David Scott Warren	Tabled Evaluation With Delaying for General Logic Programs.	J. ACM	1996	DBLP DOI BibTeX RDF	tabled evaluation, program transformations, stable models, well-founded models
2	Domenico Saccà, Carlo Zaniolo	Stable Models and Non-Determinism in Logic Programs with Negation.	PODS	1990	DBLP DOI BibTeX RDF
1	Joohyung Lee, Ravi Palla	Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming.	J. Artif. Intell. Res. (JAIR)	2012	DBLP DOI BibTeX RDF
1	Nicolás Madrid, Manuel Ojeda-Aciego	On the existence and unicity of stable models in normal residuated logic programs.	Int. J. Comput. Math.	2012	DBLP DOI BibTeX RDF
1	Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz	Stable models and circumscription.	Artif. Intell.	2011	DBLP DOI BibTeX RDF
1	Nicolás Madrid, Manuel Ojeda-Aciego	On the use of fuzzy stable models for inconsistent classical logic programs.	FOCI	2011	DBLP DOI BibTeX RDF
1	Paolo Ferraris, Vladimir Lifschitz	On the Minimality of Stable Models.	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning	2011	DBLP DOI BibTeX RDF
1	José Luis Carballido, Mauricio Osorio, José Arrazola	Equivalence for the G'3-stable models semantics.	J. Applied Logic	2010	DBLP DOI BibTeX RDF
1	Vladimir Lifschitz	Datalog Programs and Their Stable Models.	Datalog	2010	DBLP DOI BibTeX RDF
1	Michael Bartholomew, Joohyung Lee	A Decidable Class of Groundable Formulas in the General Theory of Stable Models.	KR	2010	DBLP BibTeX RDF
1	Wolfgang Gatterbauer, Dan Suciu	Data conflict resolution using trust mappings.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	community database, consistency, data exchange, stable model
1	Claudia Zepeda, José Luis Carballido	P-stable models of strong kernel programs.	J. Algorithms	2009	DBLP DOI BibTeX RDF
1	Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran	Modularity Aspects of Disjunctive Stable Models.	J. Artif. Intell. Res. (JAIR)	2009	DBLP DOI BibTeX RDF
1	Chengzhi Deng, Huasheng Zhu, Shengqian Wang	Curvelet Domain Watermark Detection Using Alpha-Stable Models.	IAS	2009	DBLP DOI BibTeX RDF
1	Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla	Symmetric Splitting in the General Theory of Stable Models.	IJCAI	2009	DBLP BibTeX RDF
1	Miroslaw Truszczynski	Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF	logic here-and-there, answer-set programming, Stable models
1	Luís Moniz Pereira, Alexandre Miguel Pinto	Layer Supported Models of Logic Programs.	LPNMR	2009	DBLP DOI BibTeX RDF	Semantics, Relevance, Layering, Stable Models
1	Youngmin Cho, Lawrence K. Saul	Learning dictionaries of stable autoregressive models for audio scene analysis.	ICML	2009	DBLP DOI BibTeX RDF
1	Gayathri Namasivayam	Study of Random Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF
1	Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi	Answer Set Programming with Constraints Using Lazy Grounding.	ICLP	2009	DBLP DOI BibTeX RDF
1	Michael Thielscher	Answer Set Programming for Single-Player Games in General Game Playing.	ICLP	2009	DBLP DOI BibTeX RDF
1	Victor W. Marek, Jeffrey B. Remmel	Automata and Answer Set Programming.	LFCS	2009	DBLP DOI BibTeX RDF
1	Jos de Bruijn, Stijn Heymans	Complexity of the Stable Model Semantics for Queries on Incomplete Databases.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Joohyung Lee, Ravi Palla	System f2lp - Computing Answer Sets of First-Order Formulas.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Ilkka Niemelä	Integrating Answer Set Programming and Satisfiability Modulo Theories.	LPNMR	2009	DBLP DOI BibTeX RDF
1	Luís Moniz Pereira, Alexandre Miguel Pinto	Layered Models Top-Down Querying of Normal Logic Programs.	PADL	2009	DBLP DOI BibTeX RDF	Smodels, XSB-XASP, Semantics, Relevance
1	Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés	Preferred extensions as stable models	CoRR	2008	DBLP BibTeX RDF
1	Piero A. Bonatti	Erratum to: Reasoning with infinite stable models [Artificial Intelligence 156 (1) (2004) 75-111].	Artif. Intell.	2008	DBLP DOI BibTeX RDF
1	Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio	Preferred extensions as stable models.	TPLP	2008	DBLP DOI BibTeX RDF
1	Ilkka Niemelä	Stable Models and Difference Logic.	ISAIM	2008	DBLP BibTeX RDF
1	Thomas Eiter, Michael Fink, Gianluigi Greco, Domenico Lembo	Repair localization for query answering from inconsistent databases.	ACM Trans. Database Syst.	2008	DBLP DOI BibTeX RDF	inconsistency management in databases, logic programming, data integration, stable models, consistent query answering, Database repairs
1	Vladimir Lifschitz	Twelve Definitions of a Stable Model.	ICLP	2008	DBLP DOI BibTeX RDF
1	Victor W. Marek, Jeffrey B. Remmel	On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP.	ICLP	2008	DBLP DOI BibTeX RDF
1	Luciano Caroprese, Ester Zumpano	Modeling Cooperation in P2P Data Management Systems.	ISMIS	2008	DBLP DOI BibTeX RDF
1	Shujing Wang, Yan Zhang	A Logic Programming Based Framework for Security Protocol Verification.	ISMIS	2008	DBLP DOI BibTeX RDF
1	Howard A. Blair, Victor W. Marek, Jeffrey B. Remmel	Set based logic programming.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68Q05, 68T99, 03D99
1	Anil Nerode, Jeffrey B. Remmel	Consistency properties and set based logic programming.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T27, 68T30, 03B70
1	Amirhossein Yousefi, Boris Lohmann	Eine Parametrierung reduzierter stabiler Modelle und stabilisierender Regler (A Parameterization of Reduced Stable Models and Controllers).	Automatisierungstechnik	2007	DBLP DOI BibTeX RDF
1	José Luis Carballido, José Arrazola, Mauricio Osorio	Equivalence for the G3'-stable models semantics.	LA-NMR	2007	DBLP BibTeX RDF
1	Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz	A New Perspective on Stable Models.	IJCAI	2007	DBLP BibTeX RDF
1	Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran	Modularity Aspects of Disjunctive Stable Models.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Thomas Eiter, Michael Fink, Stefan Woltran	Semantical characterizations and complexity of equivalences in answer set programming.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	strong equivalence, uniform equivalence, computational complexity, program optimization, stable models, Answer set semantics
1	Luciano Caroprese, Irina Trubitsyna, Ester Zumpano	A framework for prioritized reasoning based on the choice evaluation.	SAC	2007	DBLP DOI BibTeX RDF	answer set optimization, prioritized logic programming
1	Luciano Caroprese, Sergio Greco, Cristian Molinaro	Prioritized Active Integrity Constraints for Database Maintenance.	DASFAA	2007	DBLP DOI BibTeX RDF
1	Luís Moniz Pereira, Ari Saptawijaya	Modelling Morality with Prospective Logic.	EPIA Workshops	2007	DBLP DOI BibTeX RDF
1	Gerhard Brewka	Preferences, Contexts and Answer Sets.	ICLP	2007	DBLP DOI BibTeX RDF
1	Pedro Cabalar, David Pearce, Agustín Valverde	Minimal Logic Programs.	ICLP	2007	DBLP DOI BibTeX RDF	minimisation of boolean and multivalued functions, logic programming, answer set programming
1	Victor W. Marek, Jeffrey B. Remmel	Compactness Properties for Stable Semantics of Logic Programs.	LFCS	2007	DBLP DOI BibTeX RDF
1	Luís Moniz Pereira, Alexandre Miguel Pinto	Approved Models for Normal Logic Programs.	LPAR	2007	DBLP DOI BibTeX RDF
1	Mantas Simkus, Thomas Eiter	\mathbbFDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols.	LPAR	2007	DBLP DOI BibTeX RDF
1	Martin Gebser, Joohyung Lee, Yuliya Lierler	Head-Elementary-Set-Free Logic Programs.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Vladimir Lifschitz, David Pearce, Agustín Valverde	A Characterization of Strong Equivalence for Logic Programs with Variables.	LPNMR	2007	DBLP DOI BibTeX RDF
1	Luciano Caroprese, Ester Zumpano	Consistent Data Integration in P2P Deductive Databases.	SUM	2007	DBLP DOI BibTeX RDF
1	Xi-Shun Zhao, Yu-Ping Shen	Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	polynomial-time model-equivalent reduction, semantics, quantified Boolean formula, disjunctive logic program
1	Zbigniew Lonc, Miroslaw Truszczynski	Computing minimal models, stable models and answer sets.	TPLP	2006	DBLP DOI BibTeX RDF
1	Stefania Costantini	On the existence of stable models of non-stratified logic programs.	TPLP	2006	DBLP DOI BibTeX RDF
1	Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello	The DLV system for knowledge representation and reasoning.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	computational complexity, knowledge representation, implementation, nonmonotonic reasoning, stable models, Answer sets
1	Vladimir Lifschitz, Alexander A. Razborov	Why are there so many loop formulas?	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	loop formulas, stable models, P-completeness, Answer sets
1	Pedro Cabalar, Sergei P. Odintsov, David Pearce	Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs.	IBERAMIA-SBIA	2006	DBLP DOI BibTeX RDF
1	Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde	Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic.	ICLP	2006	DBLP DOI BibTeX RDF
1	Sergio Greco, Irina Trubitsyna, Ester Zumpano	On the Semantics of Logic Programs with Preferences.	JELIA	2006	DBLP DOI BibTeX RDF
1	Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz	A generalization of the Lin-Zhao theorem.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68N17, 68T30, 68T27
1	Pascal Nicolas, Laurent Garcia, Igor Stéphan, Claire Lefèvre	Possibilistic uncertainty handling for answer set programming.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	PACS 68T30, 68N17, 68T27, 68T37
1	Victor Felea	On Partial Pseudo-Stable Models For Logic Programs.	Sci. Ann. Cuza Univ.	2005	DBLP BibTeX RDF
1	Zbigniew Lonc, Miroslaw Truszczynski	Computing minimal models, stable models and answer sets	CoRR	2005	DBLP BibTeX RDF
1	Alexia Briassouli, P. Tsakalides, A. Stouraitis	Hidden messages in heavy-tails: DCT-domain watermark detection using alpha-stable models.	IEEE Transactions on Multimedia	2005	DBLP DOI BibTeX RDF
1	Pascal Nicolas, Laurent Garcia, Igor Stéphan	Possibilistic Stable Models.	IJCAI	2005	DBLP BibTeX RDF
1	Pascal Nicolas, Laurent Garcia, Igor Stéphan	Possibilistic Stable Models.	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF
1	Robert Saxon Milnikel	Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	default logic, sequent calculus, stable models, autoepistemic logic
1	Mónica Caniupán Marileo, Leopoldo E. Bertossi	Optimizing repair programs for consistent query answering.	SCCC	2005	DBLP DOI BibTeX RDF
1	Mohamed-Jalal Fadili, Larbi Boubchir	Analytical form for a Bayesian wavelet estimator of images using the Bessel K form densities.	IEEE Transactions on Image Processing	2005	DBLP DOI BibTeX RDF
1	Quoc Bao Vo	Structure-Based Algorithms for Computing Preferred Arguments of Defeasible Knowledge Bases.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF