Search results for "well-founded models"

Found 18 publication records. Showing 18 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Terrance Swift	An Engine for Computing Well-Founded Models.	ICLP	2009	DBLP DOI BibTeX RDF	Tabling, WAM
1	Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang	Logic Programming with Defaults and Argumentation Theories.	ICLP	2009	DBLP DOI BibTeX RDF	Defeasible reasoning, well-founded models, argumentation theory
1	Mohammad Raza, Philippa Gardner	Footprints in Local Reasoning.	FoSSaCS	2008	DBLP DOI BibTeX RDF	Hoare Logic, Separation Logic, Local Reasoning, Footprints
1	Fabrizio Riguzzi	Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics.	ICLP	2008	DBLP DOI BibTeX RDF	Topics Probabilistic Logic Programming, Logic Programs with Annotated Disjunctions, Well Founded Semantics, SLG resolution
1	Frederick Maier, Donald Nute	Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics.	JELIA	2006	DBLP DOI BibTeX RDF
1	Nikolay Pelov, Eugenia Ternovska	Reducing Inductive Definitions to Propositional Satisfiability.	ICLP	2005	DBLP DOI BibTeX RDF
1	Victor Felea	On Well-Founded Models for Logic Programs.	Sci. Ann. Cuza Univ.	2003	DBLP BibTeX RDF
1	Konstantinos F. Sagonas, Terrance Swift, David Scott Warren	An abstract machine for efficiently computing queries to well-founded models.	J. Log. Program.	2000	DBLP DOI BibTeX RDF
1	Fevzi Belli, Matthias Grochtmann, Oliver Jack	Erprobte Modelle zur Quantifizierung der Software-Zuverlässigkeit.	Informatik Spektrum	1998	DBLP DOI BibTeX RDF	Software-Qualität, Software-Zuverlässigkeit, Zuverlässigkeitsmodelle
1	Peter J. Stuckey, S. Sudarshan	Well-Founded Ordered Search: Goal-Directed Bottom-Up Evaluation of Well-Founded Models.	J. Log. Program.	1997	DBLP DOI BibTeX RDF
1	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
1	David B. Kemp, Divesh Srivastava, Peter J. Stuckey	Bottom-Up Evaluation and Query Optimization of Well-Founded Models.	Theor. Comput. Sci.	1995	DBLP DOI BibTeX RDF
1	Shinichi Morishita	An Alternating Fixpoint Tailored to Magic Programs.	PODS	1993	DBLP DOI BibTeX RDF	Datalog
1	Marcia A. Derr, Shinichi Morishita, Geoffrey Phipps	Design and Implementation of the Glue-Nail Database System.	SIGMOD Conference	1993	DBLP DOI BibTeX RDF
1	Jan J. M. M. Rutten	Processes as Terms: Non-Well-Founded Models for Bisimulation.	Mathematical Structures in Computer Science	1992	DBLP DOI BibTeX RDF
1	David B. Kemp, Divesh Srivastava, Peter J. Stuckey	Magic Sets and Bottom-Up Evaluation of Well-Founded Models.	ISLP	1991	DBLP BibTeX RDF
1	Allen Van Gelder, Kenneth A. Ross, John S. Schlipf	The Well-Founded Semantics for General Logic Programs.	J. ACM	1991	DBLP DOI BibTeX RDF	unfounded sets, three-valued logic, stable models, fixpoints, well-founded models, negation as failure
1	Phan Minh Dung	On the strong completion of logic programs.	ALP	1990	DBLP DOI BibTeX RDF	predicate completion, two-valued logic, Logic programming, negation, three-valued logic, stable models, circumscription, well-founded models