Search results for "XSB-Prolog"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
73	Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira	Incremental Answer Completion in the SLG-WAM.	ICLP	2009	DBLP DOI BibTeX RDF
65	Nikolay Pelov, Maurice Bruynooghe	Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog.	LPAR	1999	DBLP DOI BibTeX RDF
43	Luís Moniz Pereira, Pierangelo Dell'Acqua, Gonçalo Lopes	On Preferring and Inspecting Abductive Models.	PADL	2009	DBLP DOI BibTeX RDF	XSB-Prolog, Smodels, Logic Programming, Preferences, Abduction
41	Carlos Lopes, Matthias Knorr 0001, João Leite 0001	NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond.	LPNMR	2017	DBLP DOI BibTeX RDF
41	Nikolay Pelov, Maurice Bruynooghe	Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog	CoRR	2000	DBLP BibTeX RDF
40	Terrance Swift	An Engine for Computing Well-Founded Models.	ICLP	2009	DBLP DOI BibTeX RDF	Tabling, WAM
30	Paul Fodor	Research Summary: Tabled Evaluation for Transaction Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF
30	João Leite 0001, Luís Soares	Adding Evolving Abilities to a Multi-Agent System.	CLIMA	2006	DBLP DOI BibTeX RDF
23	Jeff Dallien, Wendy MacCaull, Allen Tien	Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care.	MOMPES	2008	DBLP DOI BibTeX RDF
23	Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski	Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics.	RR	2007	DBLP DOI BibTeX RDF
23	Uwe Aßmann, Jakob Henriksson, Jan Maluszynski	Combining Safe Rules and Ontologies by Interfacing of Reasoners.	PPSWR	2006	DBLP DOI BibTeX RDF

Displaying result #1 - #11 of 11 (100 per page; Change: )