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 |
|