David Scott Warren

J. Multiple Valued Log. Soft Comput., 2014

2013

Interning Ground Terms in XSB.

[BibT_eX]

[DOI]

Spyros Hadjichristodoulou

CoRR, 2013

Efficiently Retrieving Function Dependencies in the Linux Kernel Using XSB.

[BibT_eX]

[DOI]

Donald E. Porter

CoRR, 2013

Cost-sensitive learning for large-scale hierarchical classification.

[BibT_eX]

[DOI]

Jianfu Chen

Proceedings of the 22nd ACM International Conference on Information and Knowledge Management, 2013

2012

XSB: Extending Prolog with Tabled Logic Programming.

[BibT_eX]

[DOI]

Spyros Hadjichristodoulou

Theory Pract. Log. Program., 2012

Probabilistic Logic Programming with Well-Founded Negation.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic, 2012

2010

Swapping evaluation: A memory-scalable solution for answer-on-demand tabling.

[BibT_eX]

[DOI]

Pablo Chico de Guzmán

Manuel Carro

Theory Pract. Log. Program., 2010

Tabling with Answer Subsumption: Implementation, Applications and Performance.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2008

TCHR: a framework for tabled CLP.

[BibT_eX]

[DOI]

Tom Schrijvers

Bart Demoen

Theory Pract. Log. Program., 2008

A methodology for in-network evaluation of integrated logical-statistical models.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, 2008

2007

XcelLog: a deductive spreadsheet system.

[BibT_eX]

[DOI]

C. R. Ramakrishnan

I. V. Ramakrishnan

Knowl. Eng. Rev., 2007

Security policy analysis using deductive spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM workshop on Formal methods in security engineering, 2007

2006

Toward a Multi-Analyst, Collaborative Framework for Visual Analytics.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE Symposium On Visual Analytics Science And Technology, 2006

Deductive Spreadsheets Using Tabled Logic Programming.

[BibT_eX]

[DOI]

C. R. Ramakrishnan

I. V. Ramakrishnan

Proceedings of the Logic Programming, 22nd International Conference, 2006

2004

Prolog Models for the Model-View-Controller Paradigm (Invited Talk).

[BibT_eX]

Proceedings of the 14th International Workshop on Logic Programming Environments, 2004

Constraint Handling Rules and Tabled Execution.

[BibT_eX]

[DOI]

Tom Schrijvers

Proceedings of the Logic Programming, 20th International Conference, 2004

2003

Approximate Pruning in Tabled Logic Programming.

[BibT_eX]

[DOI]

Luís Fernando Castro

Proceedings of the Programming Languages and Systems, 2003

2002

Suspending and Resuming Computations in Engines for SLG Evaluation.

[BibT_eX]

[DOI]

Luís Fernando Castro

Proceedings of the Practical Aspects of Declarative Languages, 4th International Symposium, 2002

Ensuring the Consistency of Self-Reported Data: A Case Study.

[BibT_eX]

Proceedings of the Seventh International Conference on Information Quality (ICIQ 2002), 2002

2001

The limits of fixed-order computation.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

An Environment for the Exploration of Non Monotonic Logic Programs.

[BibT_eX]

[DOI]

Luís Fernando Castro

Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), 2001

2000

Specification and evaluation of logic-based model checking.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2000

An abstract machine for efficiently computing queries to well-founded models.

[BibT_eX]

[DOI]

J. Log. Program., 2000

XNMR: A tool for knowledge bases exploration

[BibT_eX]

[DOI]

Luís Castro

CoRR, 2000

Using XSB for Extraction and Standardization.

[BibT_eX]

Proceedings of the Second International Conference on the Practical Application of Constraint Technologies and Logic Programming, 2000

A System for Tabled Constraint Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2000

1999

Attributed Variables in XSB.

[BibT_eX]

[DOI]

Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999

Efficient Access Mechanisms for Tabled Logic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 1999

Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

A Case Study in Using Preference Logic Grammars for Knowledge Representations.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Multiple Terms in a Tabled Logic Programming System.

[BibT_eX]

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1998

Beyond Depth-First Strategies: Improving Tabled Logic Programs through Alternative Scheduling.

[BibT_eX]

[DOI]

J. Funct. Log. Program., 1998

Scheduling in SLG Revisited.

[BibT_eX]

Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, 1998

Programming with tabling in XSB.

[BibT_eX]

Proceedings of the Programming Concepts and Methods, 1998

Logic Programming and Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

1997

Controlling the Search in Tabled Evaluations.

[BibT_eX]

Proceedings of the Logic Programming, 1997

XSB: A System for Effciently Computing WFS.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Taking I/O Seriously: Resolution Reconsidered for Disk.

[BibT_eX]

Proceedings of the Logic Programming, 1997

Efficient Model Checking Using Tabled Resolution.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Computation of Stable Models and Its Integration with Logical Query Processing.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1996

Predicate Abstractions in Higher-Order Logic Programming.

[BibT_eX]

[DOI]

New Gener. Comput., 1996

Tabled Evaluation With Delaying for General Logic Programs.

[BibT_eX]

[DOI]

J. ACM, 1996

Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages: Implementations, 1996

Practical Program Analysis Using General Purpose Logic Programming Systems - A Case Study.

[BibT_eX]

[DOI]

Steven Dawson

C. R. Ramakrishnan

Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

An Abstract Machine for Computing the Well-Founded Semantics.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1996

Logic Programming and Databases Integrated at Last? (Poster Abstract).

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 1996

An Abstract Machine for Fixed-Order Dynamically Stratified Programs.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

Automata-Driven Indexing of Prolog Clauses.

[BibT_eX]

[DOI]

R. Ramesh

I. V. Ramakrishnan

J. Log. Program., 1995

Efficient Top-Down Computation of Queries under the Well-Founded Semantics.

[BibT_eX]

[DOI]

J. Log. Program., 1995

Unification Factoring for Efficient Execution of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

Exploiting Parallelism in Tabled Evaluations

[BibT_eX]

[DOI]

Proceedings of the Programming Languages: Implementations, 1995

Efficient Execution of HiLog in WAM-based Prolog Implementations.

[BibT_eX]

Proceedings of the Logic Programming, 1995

Efficient Tabling Mechanisms for Logic Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1995

1994

An Abstract Machine for SLG Resolution: Definite Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1994

Analysis of SLG-WAM Evaluation of Definite Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1994

A Portable Compiler for Integrating HiLog into Prolog Systems.

[BibT_eX]

Proceedings of the Logic Programming, 1994

Parallelizing Tabled Evaluations (Extended Abstract).

[BibT_eX]

Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, 1994

XSB as a Deductive Database.

[BibT_eX]

[DOI]

Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, 1994

XSB as an Efficient Deductive Database Engine.

[BibT_eX]

[DOI]

Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, 1994

Dynamic Argument Reduction for In-memory Data Queries.

[BibT_eX]

Proceedings of the Workshop on Deductive Databases and Logic Programming, 1994

1993

A Goal-Oriented Approach to Computing the Well-Founded Semantics.

[BibT_eX]

[DOI]

J. Log. Program., 1993

HILOG: A Foundation for Higher-Order Logic Programming.

[BibT_eX]

[DOI]

J. Log. Program., 1993

Goal-Directed Evaluation of Well-Founded Sematics for XSB.

[BibT_eX]

Proceedings of the Logic Programming, 1993

A Powerful Evaluation Strategy For CLP Programs.

[BibT_eX]

Hong Gao

Proceedings of the Principles and Practice of Constraint Programming, 1993

Query Evaluation under the Well Founded Semantics.

[BibT_eX]

[DOI]

Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1993

Programming the PTQ Grammar in XSB.

[BibT_eX]

Proceedings of the Applications of Logic Databases, 1993

The XSB Programming System.

[BibT_eX]

Konstantinos F. Sagonas

Proceedings of the Workshop on Programming with Logic Databases. In Conjunction with ILPS, 1993

1992

Memoing for Logic Programs.

[BibT_eX]

[DOI]

Commun. ACM, 1992

1991

Compilation of Predicate Abstractions in Higher-Order Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1991

An Intensional Logic of (Multi-Arity) Set Abstractions.

[BibT_eX]

Proceedings of the Logic Programming, 1991

1990

Towards Banishing the Cut from Prolog.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1990

1989

Functional Computations in Logic Programs.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1989

HiLog as a Platform for Database Languages.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 1989

Abductive Resoning with Structured Data.

[BibT_eX]

Proceedings of the Logic Programming, 1989

HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs.

[BibT_eX]

Proceedings of the Logic Programming, 1989

C-Logic of Complex Objects.

[BibT_eX]

[DOI]

Krishnaprasad Thirunarayan

Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1989

On the Declarative Semantics of Inheritance Networks.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

1988

Automatic Mode Inference for Logic Programs.

[BibT_eX]

[DOI]

J. Log. Program., 1988

A Type Inference System for Prolog.

[BibT_eX]

Jiyang Xu

Proceedings of the Logic Programming, 1988

Objects as Intensions.

[BibT_eX]

Proceedings of the Logic Programming, 1988

A Logic-based Language for Database Updates.

[BibT_eX]

[DOI]

Sanjay Manchanda

Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

Computing with Logic: Logic Programming with Prolog

[BibT_eX]

Benjamin/Cummings, ISBN: 0-8053-6681-4, 1988

1987

PIQUE: a relational query language without relations.

[BibT_eX]

[DOI]

Inf. Syst., 1987

1986

Window Functions.

[BibT_eX]

David Rozenshtein

Adv. Comput. Res., 1986

Automatic Mode Inference for Prolog Programs.

[BibT_eX]

Proceedings of the 1986 Symposium on Logic Programming, 1986

Detection and Optimization of Functional Computations in Prolog.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Logic Programming, 1986

1984

Efficient Prolog Memory Management for Flexible Control Strategies.

[BibT_eX]

[DOI]

New Gener. Comput., 1984

Executing Distributed Prolog Programs on a Broadcast Network.

[BibT_eX]

Proceedings of the 1984 International Symposium on Logic Programming, 1984

A Class of Architectures for a Prolog Machine.

[BibT_eX]

Laxmikant V. Kalé

Proceedings of the Second International Logic Programming Conference, 1984

Database Updates in Pure Prolog.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

Towards an Integrated Database-Prolog System.

[BibT_eX]

Edward Sciore

Proceedings of the Expert Database Systems, 1984

1983

Formal Semantics for Time in Databases.

[BibT_eX]

[DOI]

James Clifford

ACM Trans. Database Syst., 1983

Windows on the World.

[BibT_eX]

[DOI]

David Rozenshtein

Proceedings of the SIGMOD'83, 1983

Using X-Calculus to Represent Meanings in Logic Grammars.

[BibT_eX]

[DOI]

Proceedings of the 21st Annual Meeting of the Association for Computational Linguistics, 1983

1982

Research at SUNY: Stony Brook.

[BibT_eX]

[DOI]

SIGART Newsl., 1982

Using Semantics in Non-Context-Free Parsing of Montague Grammar.

[BibT_eX]

Joyce Friedman

Am. J. Comput. Linguistics, 1982

Specifying Connections for a Universal Relation Scheme Database.

[BibT_eX]

[DOI]

Proceedings of the 1982 ACM SIGMOD International Conference on Management of Data, 1982

Toward Logical Data Independence: A Relational Query Language Without Relations.

[BibT_eX]

[DOI]

Proceedings of the 1982 ACM SIGMOD International Conference on Management of Data, 1982

Conceptual Dependency and Montague Grammar: A Step Toward Conciliation.

[BibT_eX]

[DOI]

Mark A. Jones

Proceedings of the National Conference on Artificial Intelligence, 1982

1981

Incorporating Computed Relations in Relational Databases.

[BibT_eX]

[DOI]