This directory is created automatically and some papers may be mislabeled. Only document within the CiteSeer
database are listed. The directory is intended to provide entry points
for browsing the database and is not intended to be authoritative.
Papers may not appear in all relevant categories. For example, papers
in a sub-category may not appear in higher level categories.
631 Rewrite Systems - Dershowitz, Jouannaud (1990)(Correct)
Completion
Completion has recently been put in a more abstract framework [
Bachmair-et al, 1986 ] , an approach we adopt here. As in traditional
proof theory (cf. [ Takeuti, 1987 ] ), proofs are reduc... / Dershowitz within the logic programming paradigm. Rewriting methods br t roe Recent proposals for logic programming languages incorporating
259 The Object-Oriented Database System Manifesto - Atkinson, Bancilhon, DeWitt.. (1989)(Correct)
This
paper attempts to define an object-oriented database system. It
describes the main features and characteristics that a system must have
to qualify as an objectoriented database system. We have se... / object-oriented programming to logic programming there is no equivalent of br more than another the logic programming style Bancilhon
240 Constraint Query Languages - Kanellakis, Kuper, Revesz (1992)(Correct)
We investigate the relationship between programming with constraints and database query
languages. We show that efficient, declarative database programming can be combined with
efficient constraint so... / elimination constraint logic programming relational calculus br A major recent development in logic programming systems is the integration
230 Efficient Induction Of Logic Programs - Muggleton, Feng (1990)(Correct)
Recently
there has been increasing interest in systems which induce first order
logic programs from examples. However, many difficulties need to be
overcome. Well-known algorithms fail to discover cor... / and other concepts used in logic programming see br 'predicates by logic programmers they both conform to the
227 Partial Constraint Satisfaction - Freuder, Wallace (1992)(Correct)
A
constraint satisfaction problem involves finding values for variables
subject to constraints on which combinations of values are allowed. In
some cases it may be impossible or impractical to solve... / been imbedded in a constraint logic programming language Hower used br Constraint hierarchies and logic programming. In Proceedings Sixth
200 Uniprocessor Garbage Collection Techniques - Wilson (1992)(Correct)
We
survey basic garbage collection algorithms, and variations such as
incremental and generational collection; we then discuss low-level
implementation considerations and the relationships between sto... / such as functional or logic programming languages. For further br programming. Functional and logic programming languages generally
196 Classical Negation in Logic Programs and Disjunctive Databases - Gelfond, Lifschitz (1991)(Correct)
An important limitation of traditional logic programming as a knowledge representation tool, in
comparison with classical logic, is that logic programming does not allow us to deal directly with
incom... / limitation of traditional logic programming as a knowledge br with classical logic is that logic programming does not allow us to deal
190 Representing Action and Change by Logic Programs - Gelfond, Lifschitz (1993)(Correct)
We represent properties of actions in a logic programming language
that uses both classical negation and negation as failure. The
method is applicable to temporal projection problems with incomplete
i... / properties of actions in a logic programming language that uses both br properties of actions in logic programming languages with negation as
183 The Oz Programming Model - Smolka (1995)(Correct)
The
Oz Programming Model (OPM) is a concurrent programming model subsuming
higher- order functional and object-oriented programming as facets of a
general model. This is particularly interesting for c... / capabilities of constraint logic programming. OPM has been developed br functional and logic programming two declarative
179 Logic Programming in a Fragment of Intuitionistic Linear Logic - Hodas, Miller (1994)(Correct)
When logic programming is based on the proof theory of intuitionistic logic, it is natural
to allow implications in goals and in the bodies of clauses. Attempting to prove a goal of
the form D oe G fr... / Logic Programming in a Fragment of br Abstract When logic programming is based on the proof theory
179 A Logic Programming Language with Lambda-Abstraction, Function.. - Miller (1991)(Correct)
ion,
Function Variables, and Simple Unification Dale Miller Department of
Computer and Information Science University of Pennsylvania
Philadelphia, PA 19104--6389 USA Abstract: It has been argued else... / A Logic Programming Language with br been argued elsewhere that a logic programming language with function
139 Semantic foundations of concurrent constraint programming - Saraswat, Rinard, Panangaden (1991)(Correct)
Concurrent
constraint programming [Sar89,SR90] is a simple and powerful model of
concurrent computation based on the notions of store-as constraint and
process as information transducer. The store-as-... / the concurrent constraint logic programming languages. This paper br of renaming that plague logic programming semantics and show that
133 GOLOG: A Logic Programming Language for Dynamic Domains - Levesque, Reiter, Lespérance, .. (1997)(Correct)
This
paper proposes a new logic programming language called GOLOG whose
interpreter automatically maintains an explicit representation of the
dynamic world being modeled, on the basis of user supplied... / GOLOG A Logic Programming Language for Dynamic br This paper proposes a new logic programming language called GOLOG whose
118 Standard ML of New Jersey - Appel, MacQueen (1991)(Correct)
The
Standard ML of New Jersey compiler has been under development for five
years now. We have developed a robust and complete environment for
Standard ML that supports the implementation of large soft... / Prog. Lang. Implementation and Logic Programming Springer-Verlag LNCS
115 Deriving Production Rules for Constraint Maintenance - Ceri (1990)(Correct)
Traditionally, integrity constraints in database
systems are maintained either by rolling back any transaction
that produces an inconsistent state or by disallowing
or modifying operations that may ... / and enforcement. In CG logic programming is used to express and br integrity constraints through logic programming. Technical Report -
108 Logic Programming in the LF Logical Framework - Pfenning (1991)(Correct)
this paper we describe Elf, a meta-language intended for environments dealing
with deductive systems represented in LF.
While this paper is intended to include a full description of the Elf core langu... / Logic Programming in the LF Logical Framework br and Future Work Logic Programming in the LF Logical Framework
99 On The Acceptability Of Arguments And Its Fundamental Role In.. - Dung (1995)(Correct)
The
purpose of this paper is to study the fundamental mechanism, humans use
in argumentation, and to explore ways to implement this mechanism on
computers. We do so by first developing a theory for ar... / In Nonmonotonic Reasoning Logic Programming And N-Persons Games Phan br reasoning in AI and logic programming are special forms of our
90 Reasoning about Termination of Pure Prolog Programs - Apt, al. (1993)(Correct)
We provide a theoretical basis for studying termination of (general) logic programs with
the Prolog selection rule. To this end we study the class of left terminating programs. These
are logic program... / programming language based on logic programming. However the use of a fixed br search trees makes Prolog and logic programming different. As a consequence
90 Actions with Indirect Effects - Kartha, Lifschitz (1994)(Correct)
We define and study a high-level language for
describing actions that extends the language
A introduced by Gelfond and Lifschitz. The
new language, AR 0 , allows us to describe actions
with indirect ... / its nonmonotonic extensions logic programming and by other details of br for representing actions in logic programming is specified as a
90 Tabled Evaluation with Delaying for General Logic Programs - Chen, Warren (1996)(Correct)
SLD
resolution with negation as finite failure (SLDNF) reflects the
procedural interpretation of predicate calculus as a programming
language and forms the computational basis for Prolog systems. Desp... / for the next generation of logic programming systems. Contents br evaluation makes it a good logic programming strategy and its
86 A Scheme for Integrating Concrete Domains into Concept Languages - Baader, Hanschke (1991)(Correct)
A drawback which concept languages based on kl-one have is that all the terminological
knowledge has to be defined on an abstract logical level. In many applications,
one would like to be able to refe... / For similar reasons Logic Programming has been extended to br been extended to Constraint Logic Programming CLP see e.g.Jaffar
86 Stable Semantics for Disjunctive Programs - Przymusinski (1991)(Correct)
We
introduce the stable model semantics for disjunctive logic programs and
deductive databases, which generalizes the stable model semantics,
defined earlier for normal (i.e., non-disjunctive) program... / pointed out GL that in logic programming it is often useful to use br GL pointed out that in logic programming it is often useful to use
84 Programming Paradigms of the Andorra Kernel Language - Janson (1991)(Correct)
The
Andorra Kernel Language (AKL) is introduced. It is shown how AKL
provides the programming paradigms of both Prolog and GHC. This is the
original goal of the design. However, it has also been possi... / AKL is a general concurrent logic programming language that is based on br languages and constraint logic programming in a single unified
81 Knowledge Compilation Using Horn Approximations - Selman, Kautz (1991)(Correct)
We present a new approach to developing fast and efficient knowledge representation
systems. Previous approaches to the problem of tractable inference
have used restricted languages or incomplete infe... / Moreover the experience with logic programming and databases suggests that br horn formula. Journal of Logic Programming - .
75 Higher-Order Logic Programming - Nadathur, Miller (1986)(Correct)
ly,
if a tactic R holds of G1 and G2, i.e., if (R G1 G2) is solvable from a presentation of primitive
tactics as a set of definite clauses, then satisfying the goal G2 in the object-language should su... / CS- - Higher-Order Logic Programming Gopalan Nadathur Dale br December Higher-Order Logic Programming y Gopalan Nadathur z
72 A Finite Presentation Theorem for Approximating Logic Programs.. - Heintze, al. (1990)(Correct)
Nevin Heintze Joxan Jaffar
School of Computer Science IBM T.J. Watson Research Center
Carnegie Mellon University PO Box 218
Pittsburgh, PA 15213 Yorktown Heights, NY 10598
Summary
The notion of c... / unifiers. The relevant area in logic programming is that of type inference br that on type inference in logic programming. The main result that our
71 Indexing for Data Models with Constraints and Classes - Kanellakis, Ramaswamy, Vengroff.. (1993)(Correct)
We
examine I/O-efficient data structures that provide indexing support for
new data models. The database languages of these models include
concepts from constraint programming (e.g., relational tuples... / adapts ideas of Constraint Logic Programming e.g.from to br and J. L. Lassez Constraint Logic Programming Proc. th ACM
64 The NRL Protocol Analyzer: An Overview - Meadows (1996)(Correct)
this paper we give an overview of how the
Analyzer works and describe its achievements so far. We also show how our
use of the Prolog language benefited us in the design and implementation
of the Anal... / J. Logic Programming - The br Dc The Journal Of Logic Programming C Fl Elsevier Science
62 Learning Trees and Rules with Set-valued Features - Cohen (1996)(Correct)
In
most learning systems examples are represented as fixed-length "feature
vectors", the components of which are either real numbers or nominal
values. We propose an extension of the featurevector rep... / For instance many inductive logic programming systems Quinlan b br someone with no background in logic programming or knowledge
60 Constraint Arithmetic on Real Intervals - Older (1993)(Correct)
Constraint interval arithmetic is a sublanguage of BNR Prolog which offers
a new approach to the old problem of deriving numerical consequences from
algebraic models. Since it is simultaneously a nume... / arithmetic in constraint logic programming languages typically applies br backtracking and the logic programming paradigm radically changes
59 Constraint Hierarchies and Logic Programming - Borning, Maher, Martindale, Wilson (1989)(Correct)
Constraint
Logic Programming (CLP) is a general scheme for extending logic
programming to include constraints. It is parameterized by D, the
domain of the constraints. However, CLP(D) languages, as we... / Constraint Hierarchies and Logic Programming Alan Borningy Michael br Abstract Constraint Logic Programming CLP is a general scheme
58 XSB as an Efficient Deductive Database Engine - Sagonas (1994)(Correct)
In
this paper we describe the XSB system, an in-memory deductive database
engine. XSB began from a Prolog foundation, and traditional Prolog
systems are known to have a number of serious deficiencies ... / forms the basic language of logic programming is an elegant language for br deductive databases. Logic programming has an efficient
57 Kernel Andorra Prolog And Its Computation Model - Haridi, Janson (1990)(Correct)
The logic programming language framework Kernel Andorra Prolog is defined
by a formal computation model. In Kernel Andorra Prolog, general combinations
of concurrent reactive languages and nondetermin... / ABSTRACT The logic programming language framework Kernel br time now the main efforts of logic programming language-design and
56 Records for Logic Programming - Smolka, Treinen (1994)(Correct)
CFT is a new constraint system providing records as logical data
structure for constraint (logic) programming. It can be seen as a generalization
of the rational tree system employed in Prolog II, whe... / Records for Logic Programming Gert Smolka and Ralf br structure for constraint logic programming. It can be seen as a
56 Constraint Hierarchies - Borning, Feldman-Benson, Wilson (1992)(Correct)
Constraints allow programmers and users to state declaratively a relation
that should be maintained, rather than requiring them to write procedures to maintain
the relation themselves. They are thus... / universally adopted in the logic programming community for example in br example in the Constraint Logic Programming language scheme and
55 Elf: A Language for Logic Definition and Verified Metaprogramming - Pfenning (1989)(Correct)
We describe Elf, a metalanguage for proof manipulation
environments that are independent of any particular
logical system. Elf is intended for meta-programs
such as theorem provers, proof transformers... / Logical Framework with logic programming in the style of Prolog br This is in contrast to logic programming languages where executing
54 Representing Incomplete Knowledge in Abductive Logic Programming - Denecker (1993)(Correct)
Recently, Gelfond and Lifschitz presented a formal language for representing incomplete
knowledge on actions and states, and a sound translation from this language to
extended logic programming. We pr... / Knowledge in Abductive Logic Programming Marc Denecker y br this language to extended logic programming. We present an alternative
54 Constraint Programming and Database Query Languages - Kanellakis, Goldin (1994)(Correct)
The declarative programming paradigms used in constraint
languages can lead to powerful extensions of Codd's relational data
model. The development of constraint database query languages from
logica... / the development of constraint logic programming from logic programming but br logic programming from logic programming but with the additional
54 A Demand Driven Computation Strategy for Lazy Narrowing - Loogen, Fraguas, Artalejo (1993)(Correct)
Many recent proposals for the integration of functional and
logic programming use conditional term rewriting systems (CTRS) as
programs and narrowing as goal solving mechanism. This paper specifies
... / integration of functional and logic programming use conditional term br integration of functional and logic programming take conditional term
52 A Multiple-Conclusion Meta-Logic - Miller (1994)(Correct)
The
theory of cut-free sequent proofs has been used to motivate and justify
the design of a number of logic programming languages. Two such
languages, Prolog and its linear logic refinement, Lolli [12... / the design of a number of logic programming languages. Two such br for concurrency. The logic programming language LO Linear
52 Principles of Maude - Clavel, Eker, Lincoln, Meseguer (1996)(Correct)
This paper introduces the basic concepts of the rewriting logic language Maude and
discusses its implementation. Maude is a wide-spectrum language supporting formal
specification, rapid prototyping, a... / a conservative way Horn logic programming can also be supported and br Vittek. Designing constraint logic programming languages using
51 Tabulated Resolution for Well Founded Semantics - Bol, Degerstedt (1993)(Correct)
Based on the search forest for positive programs as defined by Bol and
Degerstedt, we define a tabulated version of SLS-resolution that is sound
and complete w.r.t. well founded semantics. In contrast... / forest is finite. Keywords logic programming deductive databases well br We use the standard logic programming terminology and definitions
51 April - Agent PRocess Interaction Language - McCabe, Clark (1994)(Correct)
In this paper we introduce key features of a programming language for building DAI and other
types of distributed applications requiring the transmission and manipulation of complex symbolic
data. The... / prototyped using a distributed logic programming system IC-Prolog II
50 Improved CLP Scheduling with Task Intervals - Caseau, Laburthe (1994)(Correct)
In this paper we present a new technique that can be used to improve performance of job
scheduling with a constraint programming language. We show how, by focusing on some
special sets of tasks, one c... / with an extensible constraint logic programming language. In both cases we br the flexibility of constraint logic programming CLP However the nature
50 Efficient Implementation of the Well-founded and Stable Model.. - Niemelä, Simons (1996)(Correct)
An implementation of the well-founded and stable model semantics for range-restricted
function-free normal programs is presented. It includes two modules: an algorithm for implementing
the two semanti... / alternative semantics for logic programming and non-monotonic reasoning. br rd International Workshop on Logic Programming and Non-monotonic
50 Mechanizing Programming Logics in Higher Order Logic - Gordon (1988)(Correct)
Formal
reasoning about computer programs can be based directly on the
semantics of the programming language, or done in a special purpose
logic like Hoare logic. The advantage of the first approach is... / J.C. eds Mathematical Logic and Programming Languages Prentice br Mechanizing Programming Logics in Higher Order Logic
49 Relational Instance-Based Learning - Emde, Wettschereck (1996)(Correct)
A
relational instance-based learning algorithm, called Ribl, is motivated
and developed in this paper. We argue that instancebased methods offer
solutions to the often unsatisfactory behavior of curre... / behavior of current inductive logic programming ILP approaches in domains br The field of Inductive Logic Programming ILP has matured enough in
48 Andorra-I: A Parallel Prolog System that Transparently Exploits both.. - Costa, Warren, Yang (1991)(Correct)
Andorra-I
is an experimental parallel Prolog system that transparently exploits
both dependent and-parallelism and or-parallelism. It constitutes the
first implementation of the Basic Andorra model, a... / written in Prolog and other logic programming languages it is somewhat br non-deterministic parallel logic programming. In Proceedings of the
48 Ramification and Causality - Thielscher (1996)(Correct)
The ramification problem in the context of commonsense reasoning about actions and
change names the challenge to accommodate actions whose execution causes indirect
effects. Not being part of the resp... / specific calculus based on the logic programming paradigm. On leave br and which employs the logic programming paradigm Holldobler and
47 Static Semantics For Normal and Disjunctive Logic Programs - Przymusinski (1993)(Correct)
In this paper, we propose a new semantic framework for disjunctive logic programming
by introducing static expansions of disjunctive programs. The class of static
expansions extends both the classes o... / framework for disjunctive logic programming by introducing static br of semantic issues in logic programming and the theory of deductive
47 Possibilistic logic - Dubois, Lang, Prade (1992)(Correct)
This
paper is organized as follows : Section 2 pursues the overview by
introducing background material on fuzzy set and possibility theory,
including comparative possibility relations that underlie po... / and gave birth to logic programming tools Mukaidono et al. br discrete optimization and logic programming. . Possibility theory
47 On the Declarative and Procedural Semantics of Logic Programs - Przymusinski (1995)(Correct)
One of the most important and difficult problems in logic programming is
the problem of finding a suitable declarative or intended semantics for logic programs.
The importance of this problem stems fr... / and difficult problems in logic programming is the problem of finding a br the declarative character of logic programming whereas its difficulty can
45 Splitting a Logic Program - Lifschitz, Turner (1994)(Correct)
In many cases, a logic program can be divided into two parts, so that one
of them, the "bottom" part, does not refer to the predicates defined in the
"top" part. The "bottom" rules can be used then fo... / of Deductive Databases and Logic Programming pages - . Morgan br Int'l Conf. and Symp. on Logic Programming pages - .
44 A Survey on Complexity Results for Non-monotonic Logics - Cadoli, Schaerf (1993)(Correct)
This paper surveys the main results appeared in the literature on the computational
complexity of non-monotonic inference tasks. We not only give results
about the tractability/intractability of the i... / whose relations with logic programming are clear and well studied. br and negation as failure in logic programming have been defined with the
43 Relational Learning of Pattern-Match Rules for Information Extraction - Califf, Mooney (1997)(Correct)
Information extraction is a form of shallow text
processing that locates a specified set of relevant
items in a natural-language document. Systems
for this task require significant domain-specific
kno... / from several inductive logic programming systems and acquires br inspired by several Inductive Logic Programming ILP systems and primarily
41 Using meta-logic to reconcile reactive with rational agents - Kowalski (1995)(Correct)
In this paper I outline an attempt to reconcile the traditional Artificial
Intelligence notion of a logic-based rational agent with the contrary notion of
a reactive agent that acts "instinctively" ... / I will use the tools of meta-logic programming to define the br using the tools of meta-logic programming to combine assimilation of
40 How to Declare an Imperative - Wadler (1995)(Correct)
How
can we integrate interaction into a purely declarative language? This
tutorial describes a solution to this problem based on a monad. The
solution has been implemented in the functional language H... / Lloyd editor International Logic Programming Symposium MIT Press br which combines functional and logic programming. Monads have also served as
40 Hierarchical Constraint Logic Programming - Wilson (1993)(Correct)
A constraint describes a relation to be maintained unknown
Hierarchical Constraint
Logic Programming
(Ph.D. Dissertation)
Molly Ann Wilson
Dept. of Computer Science and Engineering
University of Was... / Hierarchical Constraint Logic Programming Ph.D. Dissertation br Hierarchical Constraint Logic Programming by Molly Ann Wilson
40 Object-Oriented Concurrent Constraint Programming in Oz - Henz, Smolka, Würtz (1993)(Correct)
Oz is a higher-order concurrent constraint programming system under
development at DFKI. It combines ideas from logic and concurrent programming
in a simple yet expressive language. From logic program... / yet expressive language. From logic programming Oz inherits logic variables br employed in concurrent logic programming. Based on cells and
39 Temporal Deductive Databases - Baudinet, Chomicki, Wolper (1992)(Correct)
We survey a number of approaches to the problem of finite representation of infinite temporal extensions.
Two of them, Datalog 1S and Templog, are syntactical extensions of Datalog ; the third is base... / Keywords query processing logic programming temporal logic constraint br temporal logic constraint logic programming expressiveness
39 Introducing Global Constraints in CHIP - Beldiceanu, Contejan (1994)(Correct)
The
purpose of this paper is to show how the introduction of new primitive
constraints (e.g. among, diffn, cycle) over finite domains in the
constraint logic programming system CHIP result in finding ... / domains in the constraint logic programming system CHIP result in br by using current constraint logic programming languages. One of the main
39 A Closed Form Evaluation For Datalog Queries With Integer (GAP)-Order .. - Revesz (1993)(Correct)
We provide a generalization of Datalog based on generalizing databases
by adding integer order constraints to relational tuples. For Datalog queries with integer
(gap)-order constraints (denoted Dat... / tuple comes from constraint logic programming systems e.g. CLP br Generalizations. Journal of Logic Programming - . J.
39 Semantics of Logic Programs: Their Intuitions and Formal Properties.. - Dix (1994)(Correct)
Properties.
In Luis Moniz Pereira and Anil Nerode, editors, Logic Programming and
Non-Monotonic Reasoning, Proceedings of the Second International
Workshop, pages 43--59. Lisbon, MIT Press, July 1993.... / logic Programs. Journal of Logic Programming - . br logic programs. Journal of Logic Programming - . War
38 Computing Least Common Subsumers in Description Logics - Cohen, Borgida, Hirsh (1992)(Correct)
Description
logics are a popular formalism for knowledge representation and
reasoning. This paper introduces a new operation for description
logics: computing the "least common subsumer" of a pair of ... / between two other concepts. In logic programming similar operations called
38 Inductive Assertion Method For Logic Programs - Drabent, Maluszynski (1988)(Correct)
Certain properties of logic programs are inexpressible in terms of their declarative
semantics. One example of such properties would be the actual form of procedure calls
and successes which occur dur... / with foundations of logic programming as presented for instance br The language of clauses the logic programming language will be referred
38 Applications of Machine Learning and Rule Induction - Langley, Simon (1995)(Correct)
An important area of application for machine learning is in automating the acquisition of knowledge
bases required for expert systems. In this paper, we review the major paradigms for machine
learning... / Learning inductive logic programming reviewed by Bratko and br this problem using inductive logic programming which they felt was
37 Deductive Composition of Astronomical Software from Subroutine.. - Stickel, Waldinger, Lowry.. (1994)(Correct)
Automated deduction techniques are being used in a system called
Amphion to derive, from graphical specifications, programs composed
from a subroutine library. The system has been applied to construct... / Rollins and Wing RW logic programming techniques are invoked to br International Conference on Logic Programming Paris June . Smi
36 Generalization and Learnability: A Study of Constrained Atoms - Page, Jr., Frisch (1992)(Correct)
This
paper studies the generalization of atomic formulas, or atoms, that are
augmented with constraints on or among their terms. The atoms may also
be viewed as definite clauses whose antecedents expr... / Stephen H. Ed Inductive Logic Programming. London Academic Press br From a constraint logic programming point of view an atomic
36 PAC-Learnability of Determinate Logic Programs - Dzeroski, Muggleton, Russell (1992)(Correct)
The field of Inductive Logic Programming
(ILP) is concerned with inducing logic programs
from examples in the presence of background
knowledge. This paper defines the ILP
problem, and describes the v... / The field of Inductive Logic Programming ILP is concerned with br has been named Inductive Logic Programming ILP Muggleton
36 Two Classes of Boolean Functions for Dependency Analysis - Armstrong, Marriott, Schachte.. (1994)(Correct)
Many static analyses for declarative programming/database languages use Boolean functions
to express dependencies among variables or argument positions. Examples include
groundness analysis, arguably ... / Programming Languages Logic Programming D. . Programming br analysis of concurrent logic programming languages and
35 Semistructured and Structured Data in the Web: Going Back and Forth - Paolo Atzeni (1997)(Correct)
this
paper, we present the approach to the management of Web data as
attacked in the Araneus unknown Semistructured and Structured Data in
the Web:
Going Back and Forth
Paolo Atzeni,
Giansalvatore M... / refer to the Database and Logic Programming Bibliography server at Trier br M. Ley. Database systems and logic programming bibliography server.
35 Fundamentals Of Deductive Program Synthesis - Manna, Waldinger (1992)(Correct)
An
informal tutorial is presented for program synthesis, with an emphasis
on deductive methods. According to this approach, to construct a
program meeting a given specification, we prove the existence... / and Horning GH ffl Logic Programming. Executing a program br Provers in a Higher-Order Logic Programming Language Ninth
35 Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux - Bry, Yahya (1996)(Correct)
Herbrand
models for clausal theories are useful in several areas of computer
science. In most cases, however, the conventional model generation
algorithms are inappropriate because they generate non... / Model generation is useful in logic programming and deductive databases for br th Int. Conf. on Logic Programming - . MIT Press .
34 Mixed Integer Programming Methods for Computing Nonmonotonic.. - Bell (1994)(Correct)
Though the declarative semantics of both explicit and nonmonotonic negation in logic
programs has been studied extensively, relatively little work has been done on computation
and implementation of th... / Preliminaries . Basic Logic Programming Notions In this section br four alternative semantics for logic programming with classical negation.
34 Description Logics in Data Management - Borgida (1995)(Correct)
Description
logics and reasoners, which are descendants of the kl-one language,
have been studied in depth in Artificial Intelligence. After a brief
introduction, we survey in this paper their applica... / for those familiar with logic programming Since descriptions br deduction not made in current logic programming systems. It is such
34 Declarative Programming in Escher - Lloyd (1995)(Correct)
ion)
If t is a term of type fi and x ff is a variable of type ff, then x ff
:t is a term of type ff ! fi. 4. (Application) If s is a term of type
ff ! fi and t is a term of type ff, then (s t) is a te... / of both functional and logic programming languages. It has types and br calls a familiar feature of logic programming languages which provides a
34 Induction of First-Order Decision Lists: Results on Learning the Past .. - Mooney (1995)(Correct)
This paper presents a method for inducing logic programs from examples that learns
a new class of concepts called first-order decision lists, defined as ordered lists of clauses
each ending in a cut. ... / . Introduction Inductive logic programming ILP is a growing subtopic br from most work in Inductive Logic Programming a number of related pieces
34 Hybrid Probabilistic Programs - Dekhtyar, V.S.Subrahmanian (1997)(Correct)
The precise probability of a compound event (e.g. e1 e2 ; e1 e2) depends upon the known
relationships (e.g. independence, mutual exclusion, ignorance of any relationship, etc.) between
the primitive... / research on probabilistic logic programming has br a hybrid probabilistic logic programming language in which the user
34 Efficient Top-Down Computation Of Queries Under The Well-Founded.. - Chen (1994)(Correct)
This
paper investigates two major implementation issues of query evaluation
under the well-founded semantics, namely (a) to ensure that negative
literals be resolved only after their positive counterp... / J. Logic Programming - br Ccr- . The Journal Of Logic Programming C Flelsevier Science
33 Applications of Linear Logic to Computation: An Overview - Alexiev (1993)(Correct)
This
paper is an overview of existing applications of Linear Logic (LL) to
issues of computation. After a substantial introduction to LL, it
discusses the implications of LL to functional programming,... / LL to functional programming logic programming concurrent and br functional programming logic programming concurrent and
33 Generalized Sufficient Conditions for Modular Termination of Rewriting - Gramlich (1992)(Correct)
Modular properties of term rewriting systems, i.e. properties
which are preserved under disjoint unions, have attracted an increasing
attention within the last few years. Whereas confluence is modul... / Int. Conf. on Algebraic and Logic Programming Pisa Italy volume of br International Conference on Logic Programming and Automated Reasoning
32 Ensuring Global Termination of Partial Deduction while Allowing.. - Martens, Gallagher (1995)(Correct)
The control of polyvariance is a key issue in partial deduction of logic programs. Certainly,
only finitely many specialised versions of any procedure should be generated, while, on the
other hand, ov... / It was introduced to logic programming by and has since then br with the basic concepts in logic programming as they are presented in
32 Concurrency and Communication in Transaction Logic - Bonner, Kifer (1996)(Correct)
In
previous work, we developed Transaction Logic (or T R), which deals
with state changes in deductive databases. T R provides a logical
framework in which elementary database updates and queries can ... / Conference and Symposium on Logic Programming JICSLP September - br on concurrency in databases logic programming and elsewhere CT R is
32 Caching and Lemmaizing in Model Elimination Theorem Provers - Astrachan (1992)(Correct)
Theorem provers based on model elimination have exhibited
extremely high inference rates but have lacked a redundancy control
mechanism such as subsumption. In this paper we report on work done
to m... / techniques developed by the logic programming community hence the name br of Deductive Databases and Logic Programming chapter pages
31 Representing Action: Indeterminacy and Ramifications - Giunchiglia (1997)(Correct)
We define and study a high-level language for describing actions, more
expressive than the action language A introduced by Gelfond and Lifschitz.
The new language, AR, allows us to describe actions wi... / its nonmonotonic extensions logic programming and by other details of br actions in extended logic programming. In Proc. of IJCAI-
31 Compiling Prior Knowledge Into an Explicit Bias - Cohen (1992)(Correct)
Current
theory-guided learning systems are inflexible, in that they are
committed to performing one particular class of theory corrections;
this is problematic because in some cases special-purpose th... / by standard inductive logic programming techniques. FOCL on the
31 PROTEIN: A PROver with a Theory Extension INterface - Peter Baumgartner, Ulrich Furbach (1994)(Correct)
PROTEIN (PROver with a Theory Extension INterface) is a PTTPbased
first order theorem prover over built-in theories. Besides various standardrefinements
known for model elimination, PROTEIN also off... / interpreter for disjunctive logic programming. PROTEIN includes br of the th Int. Conf. on Logic Programming pages - . The MIT
30 Equational Reasoning and Term Rewriting Systems - Plaisted (1993)(Correct)
ordering structures and computational complexity. Technical
Report CSD-TR-621, University of London, May 1990.
[Che81] P. Chew. Unique normal forms in term rewriting systems with repeated variables. I... / Logic programming and narrowing br in Artificial Intelligence and Logic Programming volume edited by Dov
30 Principles And Implementation Of Deductive Parsing - Shieber (1995)(Correct)
We
present a system for generating parsers based directly on the metaphor
of parsing as deduction. Parsing algorithms can be represented directly
as deduction systems, and a single deduction engine ca... / J. Logic Programming - br Nj . The Journal Of Logic Programming C Flelsevier Science
30 Towards a unified agent architecture that combines rationality with.. - Kowalski, Sadri (1996)(Correct)
In
this paper we analyse the differences between rational and reactive
agent architectures, and propose a uniform agent architecture that aims
to capture both as special cases. For this purpose we emp... / elsewhere to unify abductive logic programming constraint logic br logic programming constraint logic programming and semantic query
30 Definitional Trees - Antoy (1992)(Correct)
Rewriting is a computational paradigm that specifies the actions,
but not the control. We introduce a hierarchical structure representing, at a
high level of abstraction, a form of control. Its appl... / and lazy evaluation in logic programming. In T. P. Clement and K.K. br and M. Rodr'iguez-Artalejo. Logic programming with functions and
30 Minimal Belief and Negation as Failure - Lifschitz (1994)(Correct)
Fangzhen Lin and Yoav Shoham defined a propositional nonmonotonic
logic which uses two independent modal operators. One of them represents
minimal knowledge, the other is related to the ideas of justi... / and default logic to logic programming and to the theory of br as well as some logic programming languages. This work can be
29 Mutagenesis: ILP experiments in a non-determinate biological domain - Srinivasan, Muggleton, King.. (1994)(Correct)
This
paper describes the use of Inductive Logic Programming as a scientific
assistant. In particular, it details the application of the ILP system
Progol to discovering structural features that can re... / describes the use of Inductive Logic Programming as a scientific assistant. br knowledge an Inductive Logic Programming tool firstly complements a
29 The execution algorithm of Mercury, an efficient purely declarative.. - Zoltan Somogyi (1996)(Correct)
We introduce Mercury, a new purely declarative logic programming language designed to provide the support that
groups of application programmers need when building large programs. Mercury's strong typ... / efficient purely declarative logic programming language Zoltan Somogyi br a new purely declarative logic programming language designed to provide
29 Strong Termination of Logic Programs - Bezem (1993)(Correct)
this paper appeared as [B].
1. INTRODUCTION
Termination of logic programs is of course of utmost importance. The question whether the top-down
evaluation of a goal G terminates with respect to a logic... / Key Words Phrases logic programming termination recursion br and notation concerning logic programming we refer the reader to A
29 Schema-Based Transformations of Logic Programs - Fuchs (1991)(Correct)
ion Selection Specialization
P1/A1
Pn/An
S1/G 1
Sn/G n
S/G P/A
8
Abstraction
For each program P i (i=1, ... , n) we identify a program schema S i which describes P i
abstractly. This abstraction... / Introduction Logic programming allows to write software br be efficiently executable. Logic programming promises to bridge the
29 Foundations of Aggregation Constraints - Ross, Srivastava, Stuckey, Sudarshan (1994)(Correct)
We
introduce a new constraint domain, aggregation constraints, which is
useful in database query languages, and in constraint logic programming
languages that incorporate aggregate functions. We stu... / languages and in constraint logic programming languages that incorporate br constraints in a constraint logic programming system like CLP R
29 Bag of words and word psitions - Cohen (1995)(Correct)
Text
categorization is the task of classifying text into one of several
predefined categories. In this paper we will evaluate the effectiveness
of several ILP methods for text categorization, and also... / IJCAI Workshop on Inductive Logic Programming Chambery France . br models. In Inductive Logic Programming. Academic Press .
28 Applying Techniques to Skeletons - Sterling, Kirschenbaum (1993)(Correct)
This paper concerns our research on developing a theory and methodology appropriate
for systematically building complicated Prolog programs. Programs are constructed
procedurally from standard compone... / with the declarative ideal of logic programming if well structured programs br Dev Yves Deville. Logic Programming Systematic Program
28 Partial Deduction of Disjunctive Logic Programs: A Declarative.. - Sakama (1994)(Correct)
This paper presents a partial deduction method for disjunctive
logic programs. We first show that standard partial deduction in
logic programming is not applicable as it is in the context of disjunc... / standard partial deduction in logic programming is not applicable as it is br optimization techniques in logic programming. Given a logic program
28 An Overview of Nonmonotonic Reasoning and Logic Programming - Minker (1993)(Correct)
The
focus of this paper is nonmonotonic reasoning as it relates to logic
programming. I discuss the pre-history of nonmonotonic reasoning
starting from approximately 1958. I then review the research t... / Nonmonotonic Reasoning and Logic Programming Jack Minker br reasoning as it relates to logic programming. I discuss the pre-history
28 Part-of-Speech Tagging Using Progol - Cussens (1997)(Correct)
A system for `tagging' words with their part-of-speech (POS)
tags is constructed. The system has two components: a lexicon containing
the set of possible POS tags for a given word, and rules which u... / for a word. The Inductive Logic Programming ILP system Progol is used br application of the Inductive Logic Programming ILP system Progol to
28 Implementation of the CORAL Deductive Database System - Ramakrishnan, Srivastava, Sudarshan, .. (1993)(Correct)
CORAL
is a deductive database system that supports a rich declarative
language, provides a wide range of evaluation methods, and allows a
combination of declarative and imperative programming. The dat... / semantics with those of a logic programming language such as more br technology. In comparison to logic programming systems such as various
28 Encoding Planning Problems in Nonmonotonic Logic Programs - Dimopoulos, Nebel, Koehler (1997)(Correct)
We present a framework for encoding planning problems
in logic programs with negation as failure, having computational efficiency
as our major consideration. In order to accomplish our goal, we
brin... / we bring together ideas from logic programming and the planning systems br becomes available. Logic programming systems accommodate
27 Pitfalls of Agent-Oriented Development - Wooldridge, Jennings (1998)(Correct)
While the theoretical and experimental foundations of agent-based
systems are becoming increasingly well understood, comparatively
little effort has been devoted to understanding the pragmatics of
(mu... / against expert systems logic programming and all the other good
27 Proof Search in the Intuitionistic Sequent Calculus - Shankar (1991)(Correct)
The use of Herbrand functions (more popularly known as Skolemization) plays an important
role in classical theorem proving and logic programming. We define a notion of Herbrand
functions for the full ... / classical theorem proving and logic programming. We define a notion of br a framework for generalizing logic programming to subsets of intuitionistic
27 Comparative Experiments on Disambiguating Word Senses: An.. - Mooney (1996)(Correct)
This paper describes an experimental comparison
of seven different learning algorithms on the
problem of learning to disambiguate the meaning
of a word from context. The algorithms tested
include stat... / Brill and inductive logic programming Zelle Mooney to br demonstrated that an inductive logic programming method produces even better
27 A Circumscriptive Calculus of Events - Shanahan (1995)(Correct)
A calculus of events is presented in which domain constraints,
concurrent events, and events with non-deterministic effects can be
represented. The paper offers a non-monotonic solution to the frame
p... / taken out of the framework of logic programming and augmented with a br Artificial Intelligence and Logic Programming Volume Nonmonotonic
27 A Semi-Functional Implementation of a Higher-Order Logic Programming.. - Elliott (1991)(Correct)
ions
*) and varbind = Varbind of string * term (* Variable binders , Type *)
In the implementation of the term language and the type checker, we
have two constants type and pi. And, yes, type is a typ... / of a Higher-Order Logic Programming Language Conal Elliott br of a higher-order constraint logic programming language in Standard ML
26 A Generalization of Analytic Deduction via Labelled Deductive Systems .. - D'Agostino, Gabbay (1995)(Correct)
In
this series of papers we set out to generalize the notion of classical
analytic deduction (i.e. deduction via elimination rules) by combining
the methodology of Labelled Deductive Systems [Gab94] w... / artificial intelligence and logic programming. In these fields there is a br Handbook of Logic in AI and Logic Programming. Oxford University Press
26 Reform Prolog: The Language and its Implementation - Bevemyr, Lindgren, Millroth (1993)(Correct)
Reform Prolog is an (dependent) AND-parallel system based on recursionparallelism
and Reform compilation. The system supports selective, userdeclared,
parallelization of binding-deterministic Prolog p... / Most systems for AND-parallel logic programming defines the procedural br in Proc. th Int. Conf. Logic programming MIT Press . .
26 Distributed Programming with Logic Tuple Spaces - Ciancarini (1994)(Correct)
s
are available from the same host in the directory
/pub/TR/UBLCS/ABSTRACTS in plain text format. All local authors can be
reached via e-mail at the address last-name@cs.unibo.it. UBLCS
Technical Repo... / April . - What is Logic Programming good for in Software br combination of Linda with a logic programming language. We are interested
26 Unification and Anti-Unification in the Calculus of Constructions - Pfenning (1991)(Correct)
We present algorithms for unification and antiunification
in the Calculus of Constructions, where occurrences
of free variables (the variables subject to instantiation)
are restricted to higher-order ... / development environments and logic programming languages. This has lead to br as the basis for the logic programming language L This class
26 Computation of Stable Models and its Integration with Logical Query.. - Chen, Warren (1994)(Correct)
The
well-founded semantics and the stable model semantics capture
intuitions of the skeptical and credulous semantics in nonmonotonic
reasoning, respectively. They represent the two dominant proposals... / Logic Deductive Database Logic Programming Nonmonotonic Reasoning br Contributions to the theory of logic programming. JACM -
26 The Role of Abduction in Logic Programming - Kakas, Kowalski, Toni (1998)(Correct)
This paper is a survey and critical overview of recent work on the extension of Logic Programming
to perform Abductive Reasoning (Abductive Logic Programming). It updates
the earlier paper "Abductive ... / The Role of Abduction in Logic Programming A.C. Kakas br work on the extension of Logic Programming to perform Abductive
26 Feature Logics - Rounds (1994)(Correct)
Contents
HANDBOOK OF LOGIC AND LANGUAGE Edited by Van Benthem & Ter Meulen c
fl 1994 Elsevier Science B.V. All rights reserved 2 William C. Rounds
Ch. Section 1 Feature Logics 3 1. Introduction 1.1. O... / as the control mechanism is a logic programming language. For complete br to Smolka arises from logic programming where terms are used as
25 A Linear Logical Framework - Cervesato, Pfenning (1996)(Correct)
We
present the linear type theory \Pi\Gammaffi&? as the formal basis
for LLF, a conservative extenSubmitted to Information &
Computation. Comments are welcome! sion of the logical framework LF .
LLF c... / as the higherorder constraint logic programming language Elf Pfe br of this formalism as a logic programming language require considering
25 A Foundation for Higher-order Concurrent Constraint Programming - Gert Smolka (1994)(Correct)
We present the fl-calculus, a computational calculus for higher-order concurrent
programming. The calculus can elegantly express higher-order functions (both eager
and lazy) and concurrent objects wit... / solving in the style of logic programming. A such extended br Its roots are concurrent logic programming and constraint logic
25 A taste of linear logic - Wadler (1993)(Correct)
This
tutorial paper provides an introduction to intuitionistic logic and
linear logic, and shows how they correspond to type systems for
functional languages via the notion of `Propositions as Types... / applications such as logic programming or concurrent programming. br foundation for directional logic programming. In E. Lamma and P. Mello
25 Deriving Incremental Production Rules for Deductive Data - Ceri, Widom (1994)(Correct)
We show that the production rule mechanism provided by active database systems can be
used to quickly and easily implement the logic rule interface of deductive database systems.
Deductive rules speci... / deductive database systems logic programming style rules are used to br G. Gottlob and L. Tanca. Logic Programming and Databases.
25 Algebraic Properties of Idempotent Substitutions - Palamidessi (1996)(Correct)
This paper presents an algebra of idempotent substitutions whose operations
have many properties. We provide an algorithm to compute these operations
and we show how they are related to the standard c... / composition. The theory of Logic Programming can be rewritten in terms of br for a theory of concurrent logic programming. Introduction. A nice
24 String Variable Grammar: A Logic Grammar Formalism For The Biological .. - Searls (1993)(Correct)
this paper, we present a generalized form of SVG, which supports additional
biologically-relevant operations by going beyond homomorphisms, instead
uniformly applying substitutions in either a forward... / J. Logic Programming - String br Pa . The Journal Of Logic Programming C Flelsevier Science
24 Formalizing Database Evolution in the Situation Calculus - Reiter (1992)(Correct)
We continue our exploration of a theory of database updates (Reiter
[21, 23]) based upon the situation calculus. The basic idea is to
take seriously the fact that databases evolve in time, so that upd... / topics specifically . A logic programming implementation of query br in this paper . We sketch a logic programming implementation of the axioms
24 Declarative Definition of Object-Oriented Multidatabase Mappings - Chomicki, Litwin (1993)(Correct)
We propose a language for declarative specification of mappings between
different object-oriented multidatabases. The language is based on OSQL,
the query language of the IRIS OODBMS. We also outline ... / powerful higher-order logic programming language KLW BG br Instance is used here in the logic programming sense instance of a
24 Modeling answer constraints in Constraint Logic Programs - Gabbrielli, Levi (1991)(Correct)
The constraint logic programming paradigm CLP(X) (CLP for short) has been proposed
by Jaffar and Lassez in order to integrate a generic computational mechanism based on
constraints with the logic prog... / Abstract The constraint logic programming paradigm CLP X CLP for br based on constraints with the logic programming framework. This paradigm
24 Automated Refinement of First-Order Horn-Clause Domain Theories - Richards, Mooney (1995)(Correct)
Knowledge acquisition is a difficult, error-prone, and time-consuming
task. The task of automatically improving an existing knowledge base using
learning methods is addressed by the class of systems p... / in several domains including logic programming and qualitative modelling. br body of work in inductive logic programming ILP Muggleton
24 Update By Means Of Inference Rules - Przymusinski, Turner (1997)(Correct)
Katsuno
and Mendelzon have distinguished two abstract frameworks for reasoning
about change: theory revision and theory update. Theory revision
involves a change in knowledge or belief with respect to... / in a language similar to logic programming. While revision programs br The Journal Of Logic Programming C Fl Elsevier Science
24 Controlling the Search in Bottom-Up Evaluation - Ramakrishnan, Srivastava, Sudarshan (1992)(Correct)
Bottom-up
evaluation of queries on deductive databases has many advantages over
an evaluation scheme such as Prolog. It is sound and complete with
respect to the declarative semantics of least Herbran... / We assume familiarity with logic programming terminology see and br query evaluation. Journal of Logic Programming September .
24 Logic Programs with Stable Model Semantics as a Constraint.. - Niemelä (1998)(Correct)
Logic
programming with the stable model semantics is put forward as an
interesting constraint programming paradigm. It is shown that the
paradigm embeds classical logical satisfiability but seems to p... / ini Abstract Logic programming with the stable model br is to bring advantages of logic programming based knowledge
24 Logic Program Synthesis - Deville, Lau (1993)(Correct)
This paper presents an overview and a survey of logic program synthesis.
Logic program synthesis is interpreted here in a broad way; it is concerned
with the following question: given a specification,... / J. Logic Programming - Logic br satisfying the specification Logic programming provides a uniquely nice
23 Mining Association Rules in Multiple Relations - Dehaspe (1997)(Correct)
The application of algorithms for efficiently generating association
rules is so far restricted to cases where information is put together
in a single relation. We describe how this restriction can ... / from the field of inductive logic programming. We present the system br association rules inductive logic programming Introduction
23 On Proof Normalization in Linear Logic - Galmiche, Perrier (1994)(Correct)
We present a proof-theoretic foundation for automated deduction in linear logic. At first,
we systematically study the permutability properties of the inference rules in this logical
framework and exp... / construction and design of logic programming languages based on linear br have in different domains as logic programming or program synthesis through
23 An Overview of Temporal and Modal Logic Programming - Orgun, Ma (1994)(Correct)
This paper presents an overview of the development of the
field of temporal and modal logic programming. We review temporal and
modal logic programming languages under three headings: (1) languages
... / of Temporal and Modal Logic Programming Mehmet A. Orgun br field of temporal and modal logic programming. We review temporal and
23 Three-Valued Non-Monotonic Formalisms And Semantics of Logic Programs - Przymusinski(Correct)
We
introduce 3-valued extensions of major non-monotonic formalisms and we
prove that the recently proposed well-founded semantics of logic
programs is equivalent, for arbitrary logic programs, to 3-va... / methods developed for logic programming as inference mechanisms br grant -MA-SAH. logic programming and deductive databases. It
23 On the Occur-check Free Prolog Programs - Apt, Pellegrini (1994)(Correct)
Machine
is used. This tag maintains information about the context in which a variable
is used. This makes possible to optimize the generated code by avoiding calls to
the occur-check routine at the co... / and theorem proving-logic programming General terms Languages br is replaced by the logic programming i Consider the
23 Directional Types And The Annotation Method - Johan Boye (1997)(Correct)
This paper shows that the annotation proof method, proposed by Deransart
for proving declarative properties of logic programs, is also applicable for
proving correctness of directional types. In parti... / method for concurrent logic programming. Here T-resolution seems to br the use of such techniques in logic programming is the multi-pass execution
23 Asynchronous Communication Model Based on Linear Logic - Kobayashi (1995)(Correct)
We
propose a new framework called ACL for concurrent computation based on
linear logic. ACL is a kind of linear logic programming framework,
where its operational semantics is described in terms of pr... / ACL is a kind of linear logic programming framework where its br of techniques for traditional logic programming. ACL's attractive features
23 Conjunto: Constraint Logic Programming with Finite Set Domains - Gervet (1994)(Correct)
Combinatorial problems involving sets and relations are currently tackled by
integer programming and expressed with vectors or matrices of 0-1 variables.
This is efficient but not flexible and unnatur... / Conjunto Constraint Logic Programming with Finite Set Domains br and defined in the constraint logic programming language CHIP Such a
23 Programming in Lygon: An Overview - Harland, Pym, Winikoff (1995)(Correct)
For many given systems of
logic, it is possible to identify, via systematic
proof-theoretic analyses, a fragment
which can be used as a basis for a
logic programming language. Such analyses
have be... / can be used as a basis for a logic programming language. Such analyses br the definition of the linear logic programming language Lygon. It
22 Reforming Compilation of Logic Programs - Millroth (1991)(Correct)
We present a new method for parallel logic programming
which is based on compilation of Tarnlund's inference system Reform.
The idea is to compile recursively defined programs to parallel iterative
... / a new method for parallel logic programming which is based on br is a new inference system for logic programming that employs program
22 Disjunctive Semantics based upon Partial and Bottom-Up Evaluation - Stefan Brass, Jürgen Dix (1995)(Correct)
We present a new and general approach of defining semantics for disjunctive
logic programs. Our framework consists of two parts: (1) a semantical ,
where semantics are defined in an abstract way as th... / Abstract properties of logic programming semantics were extensively br the abstract properties of logic programming semantics that we need and
22 A Deductive System for Non-Monotonic Reasoning - Eiter, Leone, Mateis, Pfeifer.. (1997)(Correct)
Disjunctive
Deductive Databases (DDDBs) --- function-free disjunctive logic
programs with negation in rule bodies allowed --- have been recently
recognized as a powerful tool for knowledge represent... / of integrating databases with logic programming opened in the past the br database systems utilize logic programming and extensions thereof for
22 A Logic Programming System for Non-monotonic Reasoning - Alferes, Damásio, Pereira (1995)(Correct)
The evolution of Logic Programming semantics has included the introduction of a new
explicit form of negation, beside the older implicit (or default) negation typical of Logic
Programming. The richer ... / A Logic Programming System for Non-monotonic br Abstract The evolution of Logic Programming semantics has included the
22 Magic Sets and Bottom-up Evaluation of Well-Founded Models - Kemp, Stuckey (1991)(Correct)
We present a bottom-up operational procedure for computing well-founded
models of allowed DATALOG programs with negation. This procedure provides
a practical method of handling programs that involve u... / We assume familiarity with logic programming terminology see For br of Deductive Databases and Logic Programming - .
22 Nogood Recording for Static and Dynamic Constraint Satisfaction.. - Schiex, Verfaillie (1994)(Correct)
Many
AI synthesis problems such as planning, scheduling or design may be
encoded in a constraint satisfaction problems (CSP). A CSP is typically
defined as the problem of finding any consistent labeli... / expert systems or constraint logic programming. It offers a simple natural br search in contraint logic programming New Generation Computing
22 Combining Symbolic Constraint Solvers on Algebraic Domains - Kirchner, Ringeissen (1994)(Correct)
ion
An atomic constraint p ? (t 1 ; : : : ; t m ) is decomposed into a
conjunction of pure atomic constraints by introducing new equations of
the form (x = ? t), where t is an alien subterm in the con... / In the context of constraint logic programming and theorem proving the br In the context of logic programming and deduction with
22 Higher-order, linear, concurrent constraint programming - Saraswat, Lincoln (1992)(Correct)
We present a very simple and powerful framework for indeterminate, asynchronous,
higher-order computation based on the formula-as-agent and proof-ascomputation
interpretation of (higher-order) linear... / of the areas of concurrent logic programming and constraint logic br programming and constraint logic programming. But where are the logical
22 Arc-Consistency and Arc-Consistency Again - Bessière, Cordier (1994)(Correct)
There
is no need to show the importance of arc-consistency in Constraint
Networks. Mohr and Henderson [8] have proposed AC-4, an algorithm
having an optimal worst-case time complexity. But it has two ... / Constraint Logic Programming CLP languages which br some applications constraint logic programming temporal reasoning
22 On the Declarative and Procedural Semantics of Deductive.. - Dobbie, Topor (1995)(Correct)
We present declarative and procedural semantics for a deductive object-oriented language,
Gulog. The declarative semantics is based on preferred minimal models. We describe both
bottom-up and top-do... / by a translation to a logic programming language thus providing br are similar to those in logic programming except that in Gulog we
22 Pac-learning Recursive Logic Programs: Negative Results - Cohen (1995)(Correct)
In
a companion paper it was shown that the class of constant-depth
determinate k-ary recursive clauses is efficiently learnable. In this
paper we present negative results showing that any natural gene... / . Introduction Inductive logic programming ILP Muggleton br system are expressed in a logic programming language. While many
22 Refinement Types for Logical Frameworks - Frank Pfenning (1993)(Correct)
We propose a refinement of the type theory underlying the LF logical framework by
a form of subtypes and intersection types. This refinement preserves desirable features
of LF, such as decidability of... / hypothetical judgments. The logic programming language Elf Pfe a br calculi and their use in logic programming and automated theorem
21 Stationary Default Extensions - Przymusinska, Prymusinski (1992)(Correct)
this paper we introduce the class of so called stationary extensions of a default theory.
Stationary extensions include, as a special case, Reiter's original default extensions but allow
us to elimina... / logic is closely related to logic programming. Bidoit and Froidevaux br but it also allows us to use logic programming as an inference engine for
21 Lazy Narrowing: Strong Completeness and Eager Variable Elimination - Middeldorp, Okui, Ida (1995)(Correct)
Narrowing is an important method for solving unification problems in
equational theories that are presented by confluent term rewriting systems.
Because narrowing is a rather complicated operation, se... / mechanism of many functional-logic programming languages see Hanus for br integration of functional and logic programming It is well-known that
21 A System For Specialising Logic Programs - Gallagher (1991)(Correct)
This
report describes SP, a system for specialising logic programs. The
report functions as a user's manual for SP, and also contains the
algorithms employed and arguments for their correctness. A num... / shown by the practicality of logic programming. Here a proof procedure for br languages such as constraint logic programming languages. A number of other
21 Coreference and Modality - Groenendijk (1996)(Correct)
this paper is devoted to an analysis of a specific problem
area, which is not only of interest descriptively, but which also presents an
interesting theoretical challenge.
The descriptive area is that... / of so-called declarative logic'programming languages the notion of a
21 Learning Relations by Pathfinding - Richards, Mooney (1992)(Correct)
First-order learn ing systems (e.g., FOIL, FOCL,
FORTE) generally rely on hill-climbing heuristics in
order to avoid the combinatorial explosion inheren t in
learn ing first-order concepts. However, h... / model building and logic programming. The remainder of this br results in the domain o f logic programming. Section compares
20 Learning First-Order Definitions of Functions - Quinlan (1996)(Correct)
First-order
learning involves finding a clause-form definition of a relation from
examples of the relation and relevant background information. In this
paper, a particular first-order learning system ... / is sometimes called inductive logic programming Muggleton Lavrac br Workshop on Inductive Logic Programming Bled Slovenia pp.
20 Residuation and Guarded Rules for Constraint Logic Programming - Smolka (1991)(Correct)
A major difficulty with logic programming is combinatorial explosion: since goals are solved
with possibly indeterminate (i.e., branching) reductions, the resulting search trees may grow
wildly. Const... / Guarded Rules for Constraint Logic Programming Residuation and br Guarded Rules for Constraint Logic Programming Gert Smolka June
20 Static Analysis of Communication for Asynchronous Concurrent.. - Kobayashi (1995)(Correct)
We
propose an effect-based static analysis technique on communication for
asynchronous concurrent programming languages. Our analysis gives an
upper-bound of the number of enqueued messages and rece... / languages concurrent logic programming languages and Concurrent br Interpretation of Linear Logic Programming in Proceedings of
20 Cumulative Scheduling with Task Intervals - Caseau, Laburthe (1994)(Correct)
This paper presents a set of propagation rules to solve cumulative constraints. As in our
previous paper on jobshop scheduling [8], our goal is to propose to the CLP community
techniques that allow a ... / a strong arguments for using logic programming. We also identify a br . . Relevance to Constraint Logic Programming In addition to the direct
20 Event Calculus Planning Revisited - Shanahan (1997)(Correct)
In 1969 Cordell Green presented his seminal
description of planning as theorem proving with the
situation calculus. The most pleasing feature of Green's
account was the negligible gap between high-lev... / formalism and employ abductive logic programming as our theorem proving br is to sketch the use of logic programming techniques to render the
20 Structural Regression Trees - Kramer (1996)(Correct)
In many real-world domains the task of machine learning algorithms is
to learn a theory predicting numerical values. In particular several standard
test domains used in Inductive Logic Programming (IL... / Inductive Learning Inductive Logic Programming Regression Abstract br test domains used in Inductive Logic Programming ILP are concerned with
20 Natural Semantics and Some of its Meta-Theory in Elf - Michaylov, Pfenning (1991)(Correct)
Operational semantics provide a simple, high-level and elegant means of specifying interpreters
for programming languages. In natural semantics, a form of operational semantics,
programs are tradition... / and investigate the use of the logic programming language Elf to represent br paper we use Elf a logic programming language based on the LF
20 The Logic of Time Representation - Ladkin (1987)(Correct)
This investigation concerns representations of time by means of intervals, stemming from
work of Allen [All83] and van Benthem [vBen83]. Allen described an Interval Calculus of
thirteen binary relatio... / in a high-level system with logic programming and data-types of sequence br Clause form for use in a logic programming system. One of the major
20 Representing Priorities in Logic Programs - Sakama, Inoue (1996)(Correct)
Reasoning
with priorities is a central topic in knowledge representation. A
number of techniques for prioritized reasoning have been developed in
the field of AI, but existing logic programming lacks ... / the field of AI but existing logic programming lacks the mechanism of br for representing priorities in logic programming. Prioritized logic
19 Solving Small TSPs with Constraints - Caseau, Laburthe (1997)(Correct)
This paper presents a set of techniques that makes constraint programming
a technique of choice for solving small (up to 30 nodes) traveling salesman
problems. These techniques include a propagation s... / the th Int. Conf. on Logic Programming MIT Press . Y. br An Exact Constraint Logic Programming Algorithm for the Travelling
19 Two Aspects of Directional Types - Boye, Maluszynski (1995)(Correct)
The idea of directional types is to describe the computational behaviour of
Prolog programs by associating an input and an output assertion to every
predicate. The input assertion puts a restriction o... / to recursive procedures and logic programming. Information and br A grammatical view on logic programming The MIT Press .
19 Nondeterministic Lisp as a Substrate for Constraint Logic Programming - Siskind, McAllester (1993)(Correct)
We have implemented a comprehensive constraintbased
programming language as an extension to
Common Lisp. This constraint package provides
a unified framework for solving both numeric and
non-numeric ... / as a Substrate for Constraint Logic Programming Jeffrey Mark Siskind br interest in constraint logic programming languages. Numerous
19 Interval Computation as Deduction in CHIP - Lee, van Emden (1993)(Correct)
Logic programming realizes the ideal of "computation is deduction," but not when
floating-point numbers are involved. In that respect logic programming languages are
as careless as conventional comput... / van Emden y Abstract Logic programming realizes the ideal of br are involved. In that respect logic programming languages are as careless
19 Extended Logic Programs as Autoepistemic Theories - Lifschitz (1993)(Correct)
Recent research on applications of nonmonotonic reasoning to the semantics
of logic programs demonstrates that some nonmonotonic formalisms are better
suited for such use than others. Circumscription ... / an instrument for the study of logic programming. We prove however in this br The stable model semantics for logic programming. In R. Kowalski and K.
19 A New Definition of SLDNF-resolution - Apt (1992)(Correct)
We propose a new, "top-down" definition of SLDNF-resolution which retains the spirit
of the original definition but avoids the difficulties noted in the literature. We compare it
with the "bottom-up" ... / International Conference on Logic Programming pages - . The MIT br logic programs. Journal of Logic Programming - .
19 Finite Representation of Infinite Query Answers - Chomicki, Imielinski (1992)(Correct)
We define here a formal notion of finite representation of infinite query answers in
logic programs. We apply this notion to Datalog nS (Datalog with n successors): an extension of
Datalog capable ... / Keywords query processing logic programming Datalog decidability br and terminology used in logic programming and Datalog For further
19 Learning Probabilistic Relational Models - Friedman, Getoor, Koller, Pfeffer (1999)(Correct)
A large portion of real-world data is stored in commercial
relational database systems. In contrast,
most statistical learning methods work only with
"flat" data representations. Thus, to apply these
... / Until now inductive logic programming ILP Lavra c and br and S. Dzeroski. Inductive Logic Programming Techniques and
19 Chare Kernel - A Runtime Support System For Parallel Computations - Shu (1991)(Correct)
This
paper presents the chare kernel system, which supports parallel
computations with irregular structure. The chare kernel is a collection
of primitive functions that manage chares, manipulate messa... / implementation of concurrent logic programming languages The br The th Int'l Conf.Symp. on Logic Programming pages - August
19 Constraint Inductive Logic Programming - Sebag, Rouveirol (1996)(Correct)
This paper is concerned with learning from positive
and negative examples expressed in first-order logic with numerical constants.
The presented approach is based on the cooperation of Inductive
Log... / Constraint Inductive Logic Programming Mich ele Sebag br the cooperation of Inductive Logic Programming ILP and Constraint Logic