Search results for "XSB"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
178	Konstantinos Sagonas, Terrance Swift, David Scott Warren	XSB as an Efficient Deductive Database Engine.	SIGMOD Conference	1994	DBLP DOI BibTeX RDF	Prolog
128	Michael Codish, Bart Demoen, Konstantinos Sagonas	Semantics-Based Program Analysis for Logic-Based Languages Using XSB.	Int. J. Softw. Tools Technol. Transf.	1998	DBLP DOI BibTeX RDF	Semantics-based program analysis, Logic programming language analysis, XSB
66	Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira	Incremental Answer Completion in the SLG-WAM.	ICLP	2009	DBLP DOI BibTeX RDF
66	Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You	Implementation of a Linear Tabling Mechanism.	PADL	2000	DBLP DOI BibTeX RDF
66	Baoqiu Cui, David Scott Warren	A System for Tabled Constraint Logic Programming.	Computational Logic	2000	DBLP DOI BibTeX RDF
60	Jay Halcomb, Adam Pease	On treating negation within XSB (and upon extending XSB programming with a form of logical negation, and its relations to existing varieties of logic programming).	Answer Set Programming	2001	DBLP BibTeX RDF
49	Neng-Fa Zhou, Taisuke Sato	Efficient fixpoint computation in linear tabling.	PPDP	2003	DBLP DOI BibTeX RDF	linear tabling, prolog, recursion, tabling, optimization techniques, memoization
49	Y. S. Ramakrishna, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren	Efficient Model Checking Using Tabled Resolution.	CAV	1997	DBLP DOI BibTeX RDF
46	Bart Demoen, Konstantinos Sagonas	Heap Garbage Collection in XSB: Practice and Experience.	PADL	2000	DBLP DOI BibTeX RDF
46	Nikolay Pelov, Maurice Bruynooghe	Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog.	LPAR	1999	DBLP DOI BibTeX RDF
33	Terrance Swift	An Engine for Computing Well-Founded Models.	ICLP	2009	DBLP DOI BibTeX RDF	Tabling, WAM
33	Han The Anh, Carroline D. P. Kencana Ramli, Carlos Viegas Damásio	An Implementation of Extended P-Log Using XASP.	ICLP	2008	DBLP DOI BibTeX RDF
33	Tom Schrijvers, David Scott Warren	Constraint Handling Rules and Tabled Execution.	ICLP	2004	DBLP DOI BibTeX RDF
33	Owen Kaser	State Generation in the PARMC Model Checker.	PADL	2001	DBLP DOI BibTeX RDF
33	Alexander Celle, Leopoldo E. Bertossi	Querying Inconsistent Databases: Algorithms and Implementation.	Computational Logic	2000	DBLP DOI BibTeX RDF
33	Guizhen Yang, Michael Kifer	FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine.	Computational Logic	2000	DBLP DOI BibTeX RDF
33	Bart Demoen, Konstantinos Sagonas	Memory Management for Prolog with Tabling.	ISMM	1998	DBLP DOI BibTeX RDF	Prolog
33	Weidong Chen 0005, Michael Kifer	Sorted HiLog: Sorts in Higher-Order Logic Data Languages.	ICDT	1995	DBLP DOI BibTeX RDF
31	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
31	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
30	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
30	Spyros Hadjichristodoulou, Donald E. Porter, David Scott Warren	Efficiently Retrieving Function Dependencies in the Linux Kernel Using XSB.	CoRR	2013	DBLP BibTeX RDF
30	David Scott Warren	Interning Ground Terms in XSB.	CoRR	2013	DBLP BibTeX RDF
30	Terrance Swift, David Scott Warren	XSB: Extending Prolog with Tabled Logic Programming.	Theory Pract. Log. Program.	2012	DBLP DOI BibTeX RDF
30	Md. Hasibul Alam, Iftikhar Ahmad Niaz, Imtiaz Ahmed, Zubair Al Azim, Nadim Chowdhury, Quazi Deen Mohd Khosru	InxGa1-xSb MOSFET: Performance analysis by self consistent CV characterization and direct tunneling gate leakage current.	EIT	2012	DBLP DOI BibTeX RDF
30	Terrance Swift, David Scott Warren	XSB: Extending Prolog with Tabled Logic Programming	CoRR	2010	DBLP BibTeX RDF
30	Nikolay Pelov, Maurice Bruynooghe	Proving Failure of Queries for Definite Logic Programs Using XSB-Prolog	CoRR	2000	DBLP BibTeX RDF
30	David Scott Warren	Using XSB for Extraction and Standardization.	PACPL	2000	DBLP BibTeX RDF
30	Baoqiu Cui, David Scott Warren	Attributed Variables in XSB.	Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP	1999	DBLP DOI BibTeX RDF
30	David Scott Warren	Programming with tabling in XSB.	PROCOMET	1998	DBLP BibTeX RDF
30	Michael Codish, Bart Demoen, Konstantinos Sagonas	XSB as the Natural Habitat for General Purpose Program Analysis.	ICLP	1997	DBLP BibTeX RDF
30	Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren, Juliana Freire	XSB: A System for Effciently Computing WFS.	LPNMR	1997	DBLP DOI BibTeX RDF
30	Konstantinos Sagonas, Terrance Swift, David Scott Warren	XSB as a Deductive Database.	SIGMOD Conference	1994	DBLP DOI BibTeX RDF
30	Weidong Chen 0005, Terrance Swift, David Scott Warren	Goal-Directed Evaluation of Well-Founded Sematics for XSB.	ILPS	1993	DBLP BibTeX RDF
30	David Scott Warren	Programming the PTQ Grammar in XSB.	Workshop on Programming with Logic Databases (Informal Proceedings), ILPS	1993	DBLP BibTeX RDF
30	David Scott Warren	Programming the PTQ Grammar in XSB.	Workshop on Programming with Logic Databases (Book), ILPS	1993	DBLP BibTeX RDF
30	Konstantinos F. Sagonas, Terrance Swift, David Scott Warren	The XSB Programming System.	Workshop on Programming with Logic Databases (Informal Proceedings), ILPS	1993	DBLP BibTeX RDF
16	Paul Fodor	Research Summary: Tabled Evaluation for Transaction Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF
16	Rui Marques, Terrance Swift	Concurrent and Local Evaluation of Normal Programs.	ICLP	2008	DBLP DOI BibTeX RDF
16	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
16	Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Efie Karouzaki, Nikolaos Kazepis, Dimitris Kosmadakis, Manolis Kritsotakis, Giannis Lilis, Antonis Papadogiannakis, Panagiotis Pediaditis, Constantinos Terzakis, Rena Theodosaki, Dimitris Zeginis	Proof Explanation for the Semantic Web Using Defeasible Logic.	KSEM	2007	DBLP DOI BibTeX RDF
16	Gulay Ünel, David Toman 0001	Logic Programming Approach to Automata-Based Decision Procedures.	ICLP	2007	DBLP DOI BibTeX RDF
16	Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski	Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics.	RR	2007	DBLP DOI BibTeX RDF
16	Christina Tziviskou, Elisabetta Di Nitto	Logic-based Management of Security in Web Services.	IEEE SCC	2007	DBLP DOI BibTeX RDF
16	C. R. Ramakrishnan 0001, I. V. Ramakrishnan, David Scott Warren	Deductive Spreadsheets Using Tabled Logic Programming.	ICLP	2006	DBLP DOI BibTeX RDF
16	Rémy Haemmerlé, François Fages	Modules for Prolog Revisited.	ICLP	2006	DBLP DOI BibTeX RDF
16	Uwe Aßmann, Jakob Henriksson, Jan Maluszynski	Combining Safe Rules and Ontologies by Interfacing of Reasoners.	PPSWR	2006	DBLP DOI BibTeX RDF
16	João Leite 0001, Luís Soares	Adding Evolving Abilities to a Multi-Agent System.	CLIMA	2006	DBLP DOI BibTeX RDF
16	Ping Yang 0002, C. R. Ramakrishnan 0001, Scott A. Smolka	A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Tabled resolution, Model checking, Logic programming, calculus, Mobile processes
16	Youyong Zou, Timothy W. Finin, Harry Chen 0001	F-OWL: An Inference Engine for Semantic Web.	FAABS	2004	DBLP DOI BibTeX RDF
16	Miguel Calejo	InterProlog: Towards a Declarative Embedding of Logic Programming in Java.	JELIA	2004	DBLP DOI BibTeX RDF
16	Luís Fernando Castro, David Scott Warren	Approximate Pruning in Tabled Logic Programming.	ESOP	2003	DBLP DOI BibTeX RDF
16	Diptikalyan Saha, C. R. Ramakrishnan 0001	Incremental Evaluation of Tabled Logic Programs.	ICLP	2003	DBLP DOI BibTeX RDF
16	Youyong Zou, Timothy W. Finin, Li Ding 0001, Harry Chen 0001, Rong Pan	Using semantic web technology in multi-agent systems: a case study in the TAGA trading agent environment.	ICEC	2003	DBLP DOI BibTeX RDF	agentcities, Semantic Web, multi agent system, OWL, FIPA, trading agent competition
16	Ping Yang 0002, C. R. Ramakrishnan 0001, Scott A. Smolka	A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution.	VMCAI	2003	DBLP DOI BibTeX RDF
16	Jack Minker, Dietmar Seipel	Disjunctive Logic Programming: A Survey and Assessment.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
16	Supratik Mukhopadhyay, Andreas Podelski	Constraint Database Models Characterizing Timed Bisimilarity.	PADL	2001	DBLP DOI BibTeX RDF
16	Luís Fernando Castro, Vítor Santos Costa	Understanding Memory Management in Prolog Systems.	ICLP	2001	DBLP DOI BibTeX RDF
16	Samik Basu 0001, Madhavan Mukund, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Rakesh M. Verma	Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming.	ICLP	2001	DBLP DOI BibTeX RDF
16	Ioan Alfred Letia, Florin Craciun, Zoltan Köpe	Norms for DLP Agents Working in a Warehouse Scenario.	IEA/AIE	2001	DBLP DOI BibTeX RDF	social constraints, knowledge representation, autonomous agents, norms, distributed problem solving, KBS methodologies
16	Supratik Mukhopadhyay, Andreas Podelski	Model Checking for Timed Logic Processes.	Computational Logic	2000	DBLP DOI BibTeX RDF
16	C. R. Ramakrishnan 0001	Verification Using Tabled Logic Programming.	CONCUR	2000	DBLP DOI BibTeX RDF
16	Richard Watson 0003	An Application of Action Theory to the Space Shuttle.	PADL	1999	DBLP DOI BibTeX RDF
16	Baoqiu Cui, Terrance Swift, David Scott Warren	A Case Study in Using Preference Logic Grammars for Knowledge Representations.	LPNMR	1999	DBLP DOI BibTeX RDF
16	Konstantinos Sagonas, Terrance Swift	An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	SLG, memoing, stratification theories, prolog, tabling, WAM
16	Bart Demoen, Konstantinos Sagonas	CAT: The Copying Approach to Tabling.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
16	Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren	Logic Programming and Model Checking.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
16	Konstantinos Sagonas, Terrance Swift, David Scott Warren	An Abstract Machine for Fixed-Order Dynamically Stratified Programs.	CADE	1996	DBLP DOI BibTeX RDF
16	Steven Dawson, C. R. Ramakrishnan 0001, David Scott Warren	Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study.	PLDI	1996	DBLP DOI BibTeX RDF