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.
979.7 KQML as an agent communication language - Finin, Labrou, Mayfield (1995)(Correct)
One of the defining characteristics of an information agent is its ability for flexible interaction
and interoperation with other, similar software agents. This focus on interoperability has been
the ... / Knowledge Base Meta-Knowledge REPRESENTATION Figure Our br identified in current knowledge representation technology
527.9 Intelligence Without Reason - Brooks (1991)(Correct)
Computers and Thought are the two categories that together define Artificial Intelligence as a discipline. It is generally accepted that work in Artificial Intelligence over the last thirty years has ... / e.g.the subfield of knowledge representation and the sorts of br Intelligence known as Knowledge Representation. It has its own
484.0 Letizia: An Agent That Assists Web Browsing - Lieberman (1995)(Correct)
Letizia is a user interface agent that assists a
user browsing the World Wide Web. As the
user operates a conventional Web browser such
as Netscape, the agent tracks user behavior and
attempts to anti... / rely on a preprogrammed knowledge representation structure to make br in Interpreters for Knowledge Representation Systems in Concepts
421.2 Reasoning in Description Logics - Donini, Lenzerini, Nardi, Schaerf (1997)(Correct)
ion/Subsumption, has been broadly exploited
in actual systems (see Kindermann 1990, Quantz and Kindermann 1990,
Nebel 1990a).
The Abstraction/Subsumption idea is applicable to a number of languages.
H... / The idea of developing knowledge representation systems based on a br and more generally to knowledge representation. First of all the study
404.1 Toward Principles for the Design of Ontologies Used for Knowledge.. - Gruber (1993)(Correct)
Recent work in Artificial Intelligence is exploring the user of formal ontologies as a way of specifying content-specific agreements for the sharing and reuse of knowledge among software entities. We ... / in Conceptual Analysis and Knowledge Representation edited by Nicola br statements in a formal knowledge representation. They ask queries and
391.3 The Complexity of Concept Languages - Donini, Lenzerini, Nardi, Nutt (1995)(Correct)
The basic feature of Terminological Knowledge Representation Systems is to represent
knowledge by means of taxonomies, here called terminologies, and to provide
a specialized reasoning engine to do in... / Conference on Knowledge Representation and Reasoning KR- . br feature of Terminological Knowledge Representation Systems is to represent
367.0 Retrieving And Integrating Data From Multiple Information Sources - Arens, Chee, Hsu, Knoblock (1993)(Correct)
With the current explosion of data, retrieving and integrating information
from various sources is a critical problem. Work in multidatabase systems
has begun to address this problem, but it has prima... / query reformulation knowledge representation SIMS Introduction br of statements in the Loom knowledge representation language Section . .
344.6 The TPTP Problem Library - Christian B. Suttner, Geoff Sutcliffe (1997)(Correct)
This report provides a detailed description of the TPTP Problem Library for automated
theorem proving systems. This library is available via Internet, and forms
a common basis for development of and e... / FLD Field theory KRS Knowledge Representation and MGT Management br Computing Theory COM Knowledge Representation Schemes KRS Planning
314.2 Modeling Web Sources for Information Integration - Knoblock, Minton, Ambite, Ashish.. (1998)(Correct)
The Web is based on a browsing paradigm that makes it difficult to retrieve and integrate data from multiple sites. Today, the only way to do this is to build specialized applications, which are time-... / builds on work from knowledge representation machine learning and br using the Loom knowledge representation system MacGregor
307.2 The Ontolingua Server: a Tool for Collaborative Ontology Construction - Farquhar, Fikes, Rice (1996)(Correct)
Reusable ontologies are becoming increasingly important for tasks such as information integration, knowledge-level interoperation, and knowledgebase development. We have developed a set of tools and s... / computer interpretable knowledge representation language. We use an br tool or a traditional knowledge representation tool for which
282.3 Modeling Rational Agents within a BDI-Architecture - Rao, Georgeff (1991)(Correct)
Intentions, an integral part of the mental state of an agent, play an important role
in determining the behavior of rational agents as they seek to attain their goals. In this
paper, a formalization o... / on Principles of Knowledge Representation and Reasoning KR br on Principles of Knowledge Representation and Reasoning Toronto
268.5 Using an Expressive Description Logic: FaCT or Fiction? - Horrocks (1998)(Correct)
Description Logics form a family of formalisms closely related to semantic networks but with the distinguishing characteristic that the semantics of the concept description language is formally define... / which have grown out of knowledge representation techniques using frames br Schmolze DL based knowledge representation systems have proved
262.8 Remote Agent: To Boldly Go Where No AI System Has Gone Before - Muscettola, Nayak, Pell, Williams (1998)(Correct)
Renewed motives for space exploration have inspired NASA to work toward the
goal of establishing a virtual presence in space, through heterogeneous fleets of robotic
explorers. Information technology,... / tractable reasoning and knowledge representation. We discuss these issues br relies on careful knowledge representation for each domain. The
238.2 Managing Semantic Heterogeneity in Databases: A Theoretical.. - Hull (1997)(Correct)
In Proc. of Intl. Conf. on Very Large Data Bases, pages 455--468, 1990. [HZ96] R. Hull and G. Zhou. A framework for supporting data integration using the materialized and virtual approaches. In Pro... / editors Principles of Knowledge Representation and Reasoning pages br Conf. of the Principles of Knowledge Representation and Reasoning pages
232.9 Decidable Reasoning in Terminological Knowledge Representation Systems - Buchheit, Donini, Schaerf (1993)(Correct)
Terminological knowledge representation systems (TKRSs) are tools for designing and
using knowledge bases that make use of terminological languages (or concept languages).
We analyze from a theoretica... / in Terminological Knowledge Representation Systems Martin br Abstract Terminological knowledge representation systems TKRSs are tools
231.8 Data Mining: An Overview from a Database Perspective - Chen, Han, Yu (1996)(Correct)
Mining information and knowledge from large databases has been recognized by many researchers as a key research topic in database systems and machine learning, and by many industrial companies as an i... / system to adopt expressive knowledge representation techniques. . br using sophisticated knowledge representation techniques. DataMine is
228.8 Experimental Results on the Crossover Point in Satisfiability Problems - Crawford, Auton (1993)(Correct)
Determining whether a propositional theory is satisfiable is a prototypical example of an NPcomplete problem. Further, a large number of problems that occur in knowledge representation, learning, plan... / of problems that occur in knowledge representation learning planning and br classes of problems in knowledge representation learning planning and
227.2 An Algorithm to Evaluate Quantified Boolean Formulae and its.. - Cadoli, Schaerf, Giovanardi.. (1999)(Correct)
The high computational complexity of advanced reasoning tasks such as reasoning
about knowledge and planning calls for efficient and reliable algorithms
for reasoning problems harder than NP. In this ... / problems frequent in knowledge representation can be modeled as br enough for the goals of Knowledge Representation KR theoretical
224.6 Logic Programming and Knowledge Representation - Baral, Gelfond (1994)(Correct)
In this paper, we review recent work aimed at the application of declarative logic
programming to knowledge representation in artificial intelligence. We consider extensions
of the language of definit... / Logic Programming and Knowledge Representation Chitta Baral and br logic programming to knowledge representation in artificial
224.6 A Denotational Semantics of Inheritance and its Correctness - Cook, Palsberg (1994)(Correct)
This paper presents a denotational model of inheritance. The model is based on an intuitive motivation of inheritance as a mechanism for deriving modified versions of recursive definitions. The correc... / to inheritance as used in knowledge representation. Stein focused on
222.2 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 ... / problems in the theory of knowledge representation. The approaches proposed br Conf. on Principles of Knowledge Representation and Reasoning pages
211.5 Itinerant Agents for Mobile Computing - Chess, Grosof, Harrison, Levine.. (1995)(Correct)
This paper describes an abstract framework for itinerant agents that can be used to implement secure, remote applications in large, public networks such as the Internet or the IBM Global Network. Itin... / Information Retrieval Knowledge Representation Languages. br include the emergence of knowledge representation languages and protocols
200.0 Mean Field Theory for Sigmoid Belief Networks - Saul, Jaakkola, Jordan (1996)(Correct)
In this paper we show how to calculate a rigorous lower bound on the likelihood of observed activities in sigmoid belief networks. We view these networks in the framework of statistical mechanics and ... / widely used as models of knowledge representation uncertainty and
195.2 Recursive Distributed Representations - Pollack (1990)(Correct)
A long-standing difficulty for connectionist modeling has been how to represent
variable-sized recursive data structures, such as trees and lists, in fixed-width patterns.
This paper presents a connec... / need for AI to focus on knowledge representation in the 's because of
190.1 Reasoning about Temporal Relations: A Maximal Tractable Subclass of.. - Nebel, Bürckert (1994)(Correct)
We introduce a new subclass of Allen's interval algebra we call "ORD-Horn subclass," which is a strict superset of the "pointisable subclass." We prove that reasoning in the ORD-Horn subclass is a pol... / et al. and knowledge representation Weida Litman br and tractability in knowledge representation and reasoning.
182.8 OKBC: A Programmatic Foundation for Knowledge Base Interoperability - Chaudhri, Farquhar (1998)(Correct)
The technology for building large knowledge bases (KBs) is yet to witness a breakthrough so that a KB can be constructed by the assembly of prefabricated knowledge components. Knowledge components inc... / knowledge residing in the knowledge representation system KRS for which br tools for specific knowledge representation systems KRSs These
179.7 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... / in logic programming or knowledge representation. The efficiency and br In Principles of Knowledge Representation and Reasoning
178.7 Qualitative Spatial Representation and Reasoning with the Region.. - Cohn, Bennett, Gooday, Gotts (1997)(Correct)
This paper surveys the work of the qualitative spatial reasoning group at the University of Leeds. The group has developed a number of logical calculi for representing and reasoning with qualitative... / more generally in the Knowledge Representation community and elsewhere br eds Principles of Knowledge Representation and Reasoning
177.1 Dynamic Logic Programming - Alferes, Leite, Pereira, Przymusinski (1998)(Correct)
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow default negation not on... / to preferences in knowledge representation. Although not explored br editors Principles of Knowledge Representation and Reasoning Proc. of
176.8 A Tutorial on Learning Bayesian Networks - Heckerman (1995)(Correct)
We examine a graphical representation of uncertain knowledge called a Bayesian network.
The representation is easy to construct and interpret, yet has formal probabilistic
semantics making it suitable... / this paper we examine a knowledge representation called a Bayesian br undirected edges as a knowledge representation. These representations
174.4 Adaptive Web Sites: an AI Challenge - Perkowitz (1997)(Correct)
The creation of a complex web site is a thorny problem in user interface design. First, different visitors have distinct goals. Second, even a single visitor may have different needs at different time... / machine learning knowledge representation and user modeling have br data mining knowledge representation plan recognition
168.1 Methods and techniques of adaptive hypermedia - Brusilovsky (1996)(Correct)
This paper is a review of existing work on adaptive hypermedia. The paper is centered around a set of identified methods and techniques of AH. It introduces several dimensions of classification of AH ... / by a specific kind of knowledge representation and by a specific br methods using the same knowledge representation. The set of methods and
168.1 Encoding Plans in Propositional Logic - Kautz, McAllester, Selman (1996)(Correct)
In recent work we showed that planning problems
can be efficiently solved by general propositional
satisfiability algorithms (Kautz and Selman
1996). A key issue in this approach is the
development of... / on Principles of Knowledge Representation and Reasoning KR- br Fully Specified Actions. Knowledge Representation and Defeasible
165.7 A Description Logic with Transitive and Inverse Roles and Role.. - Horrocks, Sattler (1998)(Correct)
an open question whether the transitive closure of roles
together with inverse roles necessitates the use of the cut rule [2], and this rule
leads to an algorithm with very bad behaviour. We will pres... / set of role names. Knowledge Representation and Reasoning group br Sattler. Terminological knowledge representation systems in a process
162.3 Temporal Query Languages: a Survey - Chomicki (1995)(Correct)
We define formal notions of temporal domain and temporal database, and use them
to survey a wide spectrum of temporal query languages. We distinguish between an
abstract temporal database and its conc... / for the research on knowledge representation in the area of Artificial br Using such a language for knowledge representation and reasoning was also
155.8 LaSSIE: a Knowledge-Based Software Information System - Devanbu, Brachman, Selfridge, Ballard (1991)(Correct)
Invisibility is an inherent and significant problem in the task of developing large software systems. There are no direct solutions to this problem unknown LaSSIE: a Knowledge-Based Software Informati... / called LaSSIE which uses knowledge representation and reasoning mechanisms br our classification-based knowledge representation technique and its
153.6 Semantics for an Agent Communication Language - Labrou, Finin (1996)(Correct)
We address the issue of semantics for an agent communication
language. In particular, the semantics of Knowledge Query Manipulation
Language (KQML) is investigated. KQML is a language and
protocol ... / the agent's language or knowledge representation framework. . The br between languages and or knowledge representation schemes and means to
150.7 Intelligent Agents: An Emerging Technology for Next Generation.. - Magedanz, Rothermel, Krause (1996)(Correct)
The telecommunications environment is changing its face towards an open market of information services where the vision is "information any time, at any place, in any form". Within this electronic mar... / agent the second is the knowledge representation which provides the means br reasoning. The applied knowledge representations and inference
148.1 A semantics approach for KQML - a general purpose communication.. - Labrou, Finin (1994)(Correct)
We investigate the semantics for Knowledge Query Manipulation
Language (KQML) and we propose a semantic framework
for the language. KQML is a language and a protocol
to support communication between s... / languages and knowledge representation schemes and the br application language or knowledge representation language and scheme
145.4 Complexity and expressive power of logic programming - Dantsin, Eiter, Gottlob, Voronkov (1999)(Correct)
This paper surveys various complexity and expressiveness results on different forms of
logic programming. The main focus is on decidable forms of logic programming, in particular,
propositional logi... / declarative method of knowledge representation and programming based on br areas such as knowledge representation a subfield of
145.4 Embedding Knowledge in Web Documents - Martin, Eklund (1999)(Correct)
The paper argues for the use of general and intuitive knowledge representation languages (and simpler notational variants, e.g. subsets of natural languages) for indexing the content of Web documents ... / of general and intuitive knowledge representation languages and simpler br Query Languages . Knowledge Representation . . Knowledge
144.6 Object-Oriented Bayesian Networks - Koller, Pfeffer (1997)(Correct)
Bayesian networks provide a modeling language and associated inference algorithm for stochastic domains. They have been successfully applied in a variety of medium-scale applications. However, when fa... / principled framework for knowledge representation and reasoning under br inadequate as a general knowledge representation language for large and
143.2 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 ... / offers a useful means of knowledge representation for object-based
142.0 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... / first let us describe the knowledge representation we are using. .
138.2 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... / are also essential for knowledge representation where a description
137.1 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... / framework from a knowledge representation point of view. The br of logic programming based knowledge representation techniques to constraint
129.8 Selection And Information: A Class-based Approach to Lexical.. - Resnik (1993)(Correct)
Selectional constraints are limitations on the applicability of predicates to arguments. For example, the statement "The number two is blue" may be syntactically well formed, but at some level it is a... / complete understanding of knowledge representation and inference than we
125.9 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... / problem solvers and knowledge representation systems that a br for problem solving and knowledge representation but also it must be
124.6 TBox and ABox Reasoning in Expressive Description Logics - De Giacomo, Lenzerini (1996)(Correct)
A Description Logic (DL) system is characterized by four fundamental aspects: the set of constructs used in concept and role expressions, the kind of assertions allowed in the TBox (assertions on conc... / The research on Knowledge Representation has always paid br now advocated as suitable knowledge representation systems in many
121.7 Knowledge Compilation and Theory Approximation - Selman, Kautz (1996)(Correct)
Computational efficiency is a central concern in the design of knowledge
representation systems. In order to obtain efficient systems, it has been
suggested that one should limit the form of the state... / concern in the design of knowledge representation systems. In order to br properties of knowledge representation systems has revealed a
119.1 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... / fast and efficient knowledge representation systems. Previous br properties of knowledge representation systems has revealed a
115.9 Cost-Sensitive Classification: Empirical Evaluation of a Hybrid.. - Turney (1995)(Correct)
This paper introduces ICET, a new algorithm for cost-sensitive classification. ICET
uses a genetic algorithm to evolve a population of biases for a decision tree induction algorithm.
The fitness funct... / is the natural form of knowledge representation for classification with
114.2 Reasoning in Expressive Description Logics - Calvanese (1998)(Correct)
this paper, which correspond to a language called ALCQI reg . For a comprehensive
description of the constructs used in DLs, see [Woods and Schmolze 1992,
De Giacomo 1995, Calvanese 1996c, Donini et a... / . Introduction Knowledge Representation is the field of br has been fundamental but knowledge representation systems should also come
113.0 On the Hardness of Approximate Reasoning - Roth (1996)(Correct)
Many AI problems, when formalized, reduce to evaluating the probability that a propositional expression is true. In this paper we show that this problem is computationally intractable even in surprisi... / tasks and to finding knowledge representation systems adequate for br to developing efficient knowledge representation systems. The goal is to
108.8 Principles of Metareasoning - Russell, Wefald (1991)(Correct)
In this paper we outline a general approach to the study of metareasoning, not in
the sense of explicating the semantics of explicitly specified meta-level control policies,
but in the sense of provid... / sense. In Readings in Knowledge Representation R. J. Brachman and H.
107.2 Exploiting Causal Independence in Bayesian Network Inference - Zhang, Poole (1996)(Correct)
A new method is proposed for exploiting causal independencies in exact Bayesian network inference.
A Bayesian network can be viewed as representing a factorization of a joint probability
into the mult... / mainly due to a knowledge representation framework called Bayesian br Heckerman D. Knowledge representation and inference in
106.8 The DARPA Knowledge Sharing Effort: Progress Report - Patil, Fikes, Patel-Schneider.. (1992)(Correct)
nable researchers to develop new systems by selecting
components from library of reusable modules
and assembling them together. Their effort will be focused
on creating specialized knowledge and reaso... / cannot expect a standard knowledge representation language to emerge that br and outputs. The Knowledge Representation System Specification
102.8 What can Knowledge Representation do for Semi-Structured Data? - Calvanese, De Giacomo, Lenzerini (1998)(Correct)
The problem of modeling semi-structured data is important in
many application areas such as multimedia data management,
biological databases, digital libraries, and data integration.
Graph schemas (Bu... / What can Knowledge Representation do for Semi-Structured br appropriateness of various knowledge representation formalisms for
101.4 A Theory Of Inferred Causation - Pearl, Verma (1991)(Correct)
This paper concerns the empirical basis of
causation, and addresses the following issues:
1. the clues that might prompt people to
perceive causal relationships in uncontrolled
observations.
2. the ta... / on the Principles of Knowledge Representation and Reasoning Cambridge
101.4 Part-Whole Relations in Object-Centered Systems: An Overview - Artale, Franconi, Guarino, Pazzi (1996)(Correct)
Knowledge bases, data bases and object-oriented systems (referred to in the paper
as Object-Centered systems) all rely on attributes as the main construct used
to associate properties to objects; amon... / frameworks provided by knowledge representation and object-oriented br Padova PD Italy x Knowledge Representation and Reasoning group
98.5 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... / language subsumption knowledge representation schema intension br in the field of Knowledge Representation so it is not surprising
98.2 Terminological Reasoning is Inherently Intractable - Nebel (1990)(Correct)
Computational tractability has been a major concern in the area of terminological
knowledge representation and reasoning. However, all analyses of
the computational complexity of terminological reason... / area of terminological knowledge representation and reasoning. However br argued that a knowledge representation system should be
97.8 Semantics and Conversations for an Agent Communication Language - Labrou, Finin (1997)(Correct)
We address the issues of semantics and conversations
for agent communication languages
and the Knowledge Query Manipulation Language
(KQML) in particular. Based on ideas
from speech act theory, we pr... / the agent's language or knowledge representation framework. This is a br on Principles of Knowledge Representation and Reasoning KR'
97.1 Incremental Recompilation of Knowledge - Gogic, al. (1998)(Correct)
Approximating a general formula from above and below by Horn formulas (its Horn
envelope and Horn core, respectively) was proposed by Selman and Kautz (1991, 1996) as a
form of "knowledge compilation,... / to other approaches to knowledge representation and common-sense br Its effectiveness as a knowledge representation formalism that is its
96.2 Anytime Deduction for Probabilistic Logic - Frisch (1994)(Correct)
This paper proposes and investigates an approach to deduction in probabilistic logic, using as its medium a language that generalizes the propositional version of Nilsson's probabilistic logic by inco... / approaches to knowledge representation. Recently AI researchers
96.2 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.... / on Principles of Knowledge Representation and Reasoning br on Principles of Knowledge Representation and Reasoning KR'
96.0 Investigations Into a Theory of Knowledge Base Revision - Dalal (1988)(Correct)
A fundamental problem in knowledge representation is how to revise knowledge when new, contradictory information is obtained. This paper formulates some desirable principles of knowledge revision, and... / A fundamental problem in knowledge representation is how to revise br a functional approach to knowledge representation where knowledge bases
95.6 Embedding Defaults into Terminological Knowledge Representation.. - Baader, Hollunder (1995)(Correct)
We consider the problem of integrating Reiter's default logic into terminological
representation systems. It turns out that such an integration
is less straightforward than we expected, considering th... / into Terminological Knowledge Representation Formalisms Franz br ALCF Terminological knowledge representation formalisms can be used to
94.8 Control of Selective Perception Using Bayes Nets and Decision Theory - Rimey (1993)(Correct)
A selective vision system sequentially collects evidence to support a specified hypothesis
about a scene, as long as the additional evidence is worth the effort of
obtaining it. Efficiency comes from ... / the necessary operators. Knowledge representation and sequential br The TEA- System . Knowledge Representation Using Bayes Nets
93.8 Subsumption between Queries to Object-Oriented Databases - Buchheit, Jeusfeld, Nutt, Staudt (1994)(Correct)
Most work on query optimization in relational and object-oriented databases has
concentrated on tuning algebraic expressions and the physical access to the database
contents. The attention to semantic... / AI where they occur in knowledge representation languages of the kl-one br for concepts and knowledge representation research can learn about
93.6 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... / as a powerful tool for knowledge representation and commonsense br as a valuable tool for knowledge representation and reasoning
92.7 SHADE: Technology for Knowledge-Based Collaborative Engineering - McGuire, Kuokka, al. (1993)(Correct)
Effective information sharing and decision coordination are vital to collaborative
product development and integrated manufacturing. However, typical special-purpose
CAE systems tend to isolate inform... / main components a shared knowledge representation language and br The first level is a knowledge representation language with a
90.7 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... / well-established trend in knowledge representation they aim at the br into terminological knowledge representation formalisms. In
89.7 Belief Revision and Default Reasoning: Syntax-Based Approaches - Nebel (1991)(Correct)
Belief revision leads to temporal nonmonotonicity,
i.e., the set of beliefs does not grow
monotonically with time. Default reasoning
leads to logical nonmonotonicity, i.e., the set
of consequences doe... / eds.Principles of Knowledge Representation and Reasoning br Brachman. The future of knowledge representation. In Proceedings of the
86.4 Tractable Closed World Reasoning with Updates - Etzioni, Golden, Weld (1994)(Correct)
Closed world reasoning is the process of inferring that
a logical sentence is false based on its absence from
a knowledge base, or the inability to derive it. Previous
work on circumscription, autoepi... / the closed roles found in knowledgerepresentation systems such as classic br classic to Practice Knowledge Representation Theory Meets Reality. In
85.7 A Survey on Knowledge Compilation - Cadoli, Donini (1998)(Correct)
this paper
we survey recent results in knowledge compilation of
propositional knowledge bases. We first define and limit the
scope of such a technique, then we survey exact and approximate
knowledge c... / bases. Keywords Knowledge Representation Efficiency of Reasoning br . Introduction Knowledge Representation KR is based on the
85.7 Design Principles for Intelligent Environments - Coen (1998)(Correct)
This paper describes design criteria for creating highly
embedded, interactive spaces that we call Intelligent
Environments. The motivation for building these systems is
to bring computation into the ... / ranging from knowledge representation to computer vision but
85.1 Tools For Assembling Modular Ontologies in Ontolingua - Adam Farquhar (1997)(Correct)
The Ontolingua ontology development environment
provides a suite of ontology authoring tools and a
library of modular reusable ontologies. The
environment is available as a World Wide Web
service and ... / tool or a traditional knowledge representation tool for which br from the other. Many knowledge representation systems have addressed
84.0 Well-Founded Semantics for Extended Logic Programs with Dynamic.. - Brewka (1996)(Correct)
The paper describes an extension of well-founded semantics for logic programs with
two types of negation. In this extension information about preferences between rules can
be expressed in the logical ... / are very useful for knowledge representation purposes see for br Logic programming and knowledge representation. Journal of Logic
84.0 On the Relative Expressiveness of Description Logics and Predicate.. - Borgida (1996)(Correct)
It is natural to view concept and role definitions in Description Logics as expressing
monadic and dyadic predicates in Predicate Calculus. We show that the descriptions
built using the constructors u... / of the kl-one knowledge representation system and have been br generally addressed in the Knowledge Representation literature but see
84.0 On the relative expressiveness of description logics and predicate.. - Borgida (1996)(Correct)
It is natural to view concept and role definitions in description logics as expressing
monadic and dyadic predicates in predicate calculus. We show that the descriptions built
using the constructors u... / of the kl-one knowledge representation system and have been br generally addressed in the knowledge representation literature but
84.0 Tractable Reasoning via Approximation - Schaerf, Cadoli (1995)(Correct)
Problems in logic are well-known to be hard to solve in the worst case. Two
different strategies for dealing with this aspect are known from the literature:
language restriction and theory approximati... / on the Principles of Knowledge Representation and Reasoning KR- and br by many formalisms in Knowledge Representation e. g. knowledge
84.0 The Comparative Linguistics of Knowledge Representation - Gogic, Kautz (1995)(Correct)
We develop a methodology for comparing knowledge representation formalisms in terms of their "representational succinctness," that is, their ability to express knowledge situations relatively efficien... / Comparative Linguistics of Knowledge Representation Goran Gogic br methodology for comparing knowledge representation formalisms in terms of
84.0 Collaborative Ontology Construction for Information Integration - Farquhar, Fikes, Pratt, Rice (1995)(Correct)
Information integration is enabled by having a precisely defined common terminology.
We call this combination of terminology and definitions an ontology . We have developed
a set of tools and services... / computer interpretable knowledge representation -language. We use br -Many knowledge representation systems have addressed
83.8 Subsumption Algorithms for Concept Description Languages - Hollunder, Nutt, Schmidt-Schauß (1990)(Correct)
We investigate subsumption algorithms for logic-based knowledge representation
languages of the kl-one family. We define an attributive
concept description language that contains the logical connectiv... / algorithms for logic-based knowledge representation languages of the kl-one br In contrast to earlier knowledge representation formalisms like frames
81.8 A Description Logic with Concrete Domains and a Role-forming.. - Haarslev, Lutz, Möller (1999)(Correct)
This article presents the description logic
ALCRP(D)
with concrete domains and a roleforming
predicate operator as its prominent aspects. We demonstrate the feasibility of
ALCRP(D)
for reasoning a... / motivated as a basis for knowledge representation and query processing in br a theoretical basis for knowledge representation in the domains mentioned
81.8 Distributed Repositories of Highly Expressive Reusable Ontologies - Fikes, Farquhar (1999)(Correct)
We present a vision of next generation tools and services that will enable the widespread
development and use of computer interpretable ontologies. Central to that vision is the
notion of distributed ... / work with in a specific knowledge representation language database schema br and behavior of a knowledge representation system e.g.
81.4 A Unified Framework for Class-Based Representation Formalisms - Calvanese, Lenzerini, Nardi (1994)(Correct)
The notion of class is ubiquitous in Computer Science and is central in many knowledge representation languages. In this paper we propose a representation formalism in the style of concept languages, ... / and is central in many knowledge representation languages. In this paper br The first one comes from knowledge representation and in particular from
81.4 GSAT and Dynamic Backtracking - Ginsberg, McAllester (1994)(Correct)
There has been substantial recent interest in two new families of search techniques. One family consists of nonsystematic methods such as GSAT; the other contains systematic approaches that use a poly... / on Principles of Knowledge Representation and Reasoning Bonn
81.1 CARIN: A Representation Language Combining Horn Rules and Description .. - Levy, Rousset (1996)(Correct)
We describe carin, a novel family of representation languages, that combine the expressive
power of Horn rules and of description logics. We address the issue of providing
sound and complete inference... / hybrid languages knowledge representation. Introduction br A terminological knowledge representation system with complete
81.1 Moving Up the Information Food Chain: Deploying Softbots on the World .. - Etzioni (1996)(Correct)
I view the World Wide Web as an information food
chain (figure 1). The maze of pages and hyperlinks
that comprise the Web are at the very bottom of the
chain. The WebCrawlers and Alta Vistas of the wo... / an intelligent first knowledge representation system into a usable br classic to Practice Knowledge Representation Theory Meets Reality. In
79.9 Super Logic Programs - Stefan Brass, Jürgen Dix, Teodor C.. (1998)(Correct)
Recent extensive research on non-monotonic reasoning and logic programming has
clearly demonstrated that logic programs are sufficiently expressive to allow formalizations
of many important problems i... / programs and non-monotonic knowledge representation formalisms can be br formalism for knowledge representation has to contain some form
79.9 A Canonical Model of the Region Connection Calculus - Renz (1998)(Correct)
Although the computational properties of the
Region Connection Calculus RCC-8 are well
studied, reasoning with RCC-8 entails several
representational problems. This includes the
problem of representin... / on Principles of Knowledge Representation and Reasoning KR'
79.3 An Empirical Analysis of Optimization Techniques for Terminological.. - Baader, Hollunder, Nebel.. (1992)(Correct)
We consider different methods of optimizing
the classification process of terminological
representation systems, and evaluate their
effect on three different types of test data.
Though these technique... / editors Principles of Knowledge Representation and Reasoning - br .In the last decade many knowledge representation systems based on these
79.0 Reasoning with Individuals in Concept Languages - Schaerf (1994)(Correct)
One of the main characteristics of knowledge representation systems based on the
description of concepts is the clear distinction between terminological and assertional
knowledge. Although this charac... / main characteristics of knowledge representation systems based on the br The idea of developing knowledge representation systems based on a
78.3 Data Management for Mobile Computing - Imielinski, Badrinath (1993)(Correct)
Mobile Computing is a new emerging computing
paradigm of the future. Data Management in
this paradigm poses many challenging problems
to the database community. In this paper we identify
these new cha... / general questions of knowledge representation and partition of
78.2 Reasoning with Models - Khardon, Roth (1996)(Correct)
We develop a model-based approach to reasoning, in which the knowledge base is represented
as a set of models (satisfying assignments) rather than a logical formula, and the set of queries
is restrict... / Keywords knowledge representation common sense reasoning br of how to get this knowledge representation the following fact
76.5 Variational Methods for Inference and Estimation in Graphical Models - Jaakkola (1997)(Correct)
Graphical models enhance the representational power of probability models through
qualitative characterization of their properties. This also leads to greater efficiency
in terms of the computational ... / in modeling and knowledge representation is ubiquitous whether br developing probabilistic knowledge representations Pearl and the
75.3 Metaqueries for Data Mining - Shen, Ong, Mitbander, Zaniolo (1996)(Correct)
This chapter presents a framework that uses metaqueries to integrate inductive learning methods with deductive database technologies in the context of knowledge discovery from databases. Metaqueries a... / is well suited for both knowledge representation and data querying. Under br both database queries and knowledge representation. More details on the
74.0 Learning the CLASSIC Description Logic: Theoretical and Experimental.. - Cohen, Hirsh (1994)(Correct)
We present a series of theoretical and experimental results on the learnability of description logics. We first extend previous formal learnability results on simple description logics to C-Classic, a... / From Principles of Knowledge Representation and Reasoning br LOGICS Classic is a knowledge representation system based on a
72.4 Robotics and the Common Sense Informatic Situation - Murray Shanahan (1996)(Correct)
Any model of the world a robot constructs on the basis
of its sensor data is necessarily both incomplete, due
to the robot's limited window on the world, and
uncertain, due to sensor and motor noise. ... / questions in knowledge representation. It also enables the br that The field of Knowledge Representation concentrates much of
72.3 Information Extraction: Techniques and Challenges - Grishman (1997)(Correct)
this paper
we shall use a narrower definition: the identification of instances of a particular
class of events or relationships in a natural language text, and the extraction of
the relevant arguments... / language processing and knowledge representation many of which still lack
72.1 A Knowledge-Based Configurator that Supports Sales, Engineering, and.. - Jon Wright (1993)(Correct)
INTRODUCTION
PROSE (PRoduct OfferingS Expertise) is a knowledge based engineering and ordering
platform that supports sales and order processing at AT&T Network Systems (AT&T-NS).
The cornerstone of ... / written in C-Classic a knowledge representation system in the KL-ONE br by taking advantage of knowledge representation techniques originally
71.6 Terminological Logics with Modal Operators - Baader, Laux (1994)(Correct)
Terminological knowledge representation formalisms can be used to represent
objective, time-independent facts about an application domain. Notions like
belief, intentions, time---which are essential f... / Abstract Terminological knowledge representation formalisms can be used to br into terminological knowledge representation languages. These
69.5 Text Generation in a Dynamic Hypertext Environment - Milosavljevic, Tulloch, Dale (1996)(Correct)
This paper describes PEBA-II, a working natural
language generation system which interactively describes
animals in a taxonomic knowledge base via
the production of World Wide Web pages. Our
aim is to... / a pragmatic approach to knowledge representation and linguistic br current work ffl the knowledge representation used this represents
66.6 Representing Sensing Actions: The Middle Ground Revisited - Golden, Weld (1996)(Correct)
To build effective planning systems, it is
crucial to find the right level of representation:
too impoverished, and important actions
and goals are impossible to express;
too expressive, and planning ... / Conference on Knowledge Representation and Reasoning May br Conf. on Principles of Knowledge Representation and Reasoning pages
66.6 A Pointless Theory of Space Based On Strong Connection and Congruence - Borgo, Guarino, Masolo (1996)(Correct)
We present a logical theory of space where only
tridimensional regions are assumed in the
domain. Three distinct primitives are used to
describe their mereological, topological and
morphological prope... / eds.Principles of Knowledge Representation and Reasoning KR . br Conceptual Analysis and Knowledge Representation. International Journal
66.6 Intelligent Adaptive Information Agents - Decker (1996)(Correct)
Adaptation in open, multi-agent information gathering systems
is important for several reasons. These reasons include
the inability to accurately predict future problem-solving workloads,
future chang... / software components for knowledge representation agent control and
66.1 Disjunctive Defaults - Gelfond, Lifschitz, Przymusi'nska.. (1991)(Correct)
A generalization of Reiter's default logic is
proposed that provides an improved treatment
of default reasoning with disjunctive information.
The new system --- the disjunctive
default logic --- is us... / In Principles of Knowledge Representation and Reasoning pages
65.9 Integrated Support For Data Archaeology - Brachman (1993)(Correct)
Corporate databases increasingly are being viewed as potentially rich sources
of new and valuable knowledge. Various approaches to"discovering" or "mining
" such knowledge have been proposed. Here we ... / exploration. A formal knowledge representation system provides the core br applications of formal knowledge representation database integration
65.5 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 ... / a popular formalism for knowledge representation and reasoning. This paper br logics are a family of knowledge representation and reasoning systems
65.0 The Structure-Mapping Engine: Algorithm and Examples - Falkenhainer, Forbus, Gentner (1989)(Correct)
This paper describes the Structure-Mapping Engine (SME), a program for studying analogical processing. SME has been built to explore Gentner's Structure-mapping theory of analogy, and provides a "tool... / Engine knowledge representation conventions and the br simple conventions for knowledge representation which are essential to
63.7 Planning and Reformulating Queries for Semantically-Modeled.. - Arens (1992)(Correct)
With vast amounts of information available from various
sources, integrating data from multiple databases
is an important problem. The SIMS project attacks
this problem using a variety of Artificial I... / including planning knowledge representation problem reformulation br the following ideas Knowledge Representation Modeling which is used
63.7 Embracing Occlusion in Specifying the Indirect Effects of Actions - Gustafsson, Doherty (1996)(Correct)
In this paper, we extend PMON, a logic for reasoning about action and change, with causal rules which are used to specify the indirect effects of actions. The extension, called PMON(RCs), has the adva... / publication Principles of Knowledge Representation and Reasoning br on Principles of Knowledge Representation and Reasoning .
63.7 DATR: A Language for Lexical Knowledge Representation - Evans, Gazdar (1996)(Correct)
this paper we shall distinguish them by a simple case convention -- node names start with an uppercase letter, atoms do not. 5 This is an approximation since it ignores the role of global contexts -- ... / A Language for Lexical Knowledge Representation Roger Evans and Gerald br A Language for Lexical Knowledge Representation Roger Evans y
63.7 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 ... / adequate for a spate of knowledge representation and reasoning forms. br for a diversity of knowledge representation and reasoning forms
63.7 Theorems and Algorithms: An Interface between Isabelle and Maple - Ballarin, Homann, Calmet (1995)(Correct)
Solving sophisticated mathematical problems often requires algebraic algorithms and theorems. However, there are no environments integrating theorem provers and computer algebra systems which consiste... / master without a common knowledge representation and with no trust at br CAS TP knowledge representation systems explanationbased
63.0 The Information Manifold - Kirk, Levy, Sagiv, Srivastava(Correct)
We describe the Information Manifold (IM), a
system for browsing and querying
of multiple networked information sources. As
a first contribution, the system demonstrates the
viability of knowledge rep... / the viability of knowledge representation technology for retrieval br the viability of Knowledge Representation technology to enable
62.8 Ontology of Tasks and Methods - Chandrasekaran, Josephson, Benjamins (1998)(Correct)
Much of the work on ontologies in AI has
focused on describing some aspect of reality: objects,
relations, states of affairs, events, and processes in the
world. A goal is to make knowledge sharable... / often refers to its knowledge representation of some area of br the heart of any system of knowledge representation. If we do not have the
62.8 Foundations of Spatioterminological Reasoning with Description Logics - Haarslev, Lutz, Möller (1998)(Correct)
This paper presents a method for reasoning
about spatial objects and their qualitative
spatial relationships. In contrast to existing
work, which mainly focusses on reasoning
about qualitative spatial... / motivated as a basis for knowledge representation and query processing in br a theoretical basis for knowledge representation in GIS and can be used to
62.8 Towards Text Knowledge Engineering - Hahn, Schnattinger (1998)(Correct)
We introduce a methodology for automating the maintenance of domain-specific taxonomies
based on natural language text understanding. A given ontology is incrementally
updated as new concepts are acqu... / KL-ONEstyle knowledge representation is used to derive
62.8 Probabilistic frame-based systems - Koller, Pfeffer (1998)(Correct)
Two of the most important threads of work in knowledge
representation today are frame-based representation systems
(FRS's) and Bayesian networks (BNs). FRS's provide an excellent
representation for th... / threads of work in knowledge representation today are frame-based br used for large scale knowledge representation in AI Their
61.7 Impediments to Universal Preference-Based Default Theories - Doyle, al. (1994)(Correct)
Research on nonmonotonic and default reasoning has identified several important criteria
for preferring alternative default inferences. The theories of reasoning based on each of these
criteria may un... / on Principles of Knowledge Representation and Reasoning pages
61.7 An Ontology of Meta-Level Categories - Guarino (1994)(Correct)
We focus in this paper on some meta-level ontological
distinctions among unary predicates,
like those between concepts and assertional
properties. Three are the main contributions of
this work, mostly... / eds.Principles of Knowledge Representation and Reasoning br in the perspective of knowledge representation. The first is a formal
60.3 The Complexity of Existential Quantification in Concept Languages - Donini, Hollunder, Lenzerini.. (1992)(Correct)
this paper is that subsumption and unsatisfiability in ALE are
NP-hard. In fact, subsumption is shown to be NP-hard for the simpler language FLE unknown The Complexity of Existential Quantification in... / from the study of knowledge representation languages such as br deduction procedures for knowledge representation systems based on concept
60.3 Forming Concepts for Fast Inference - Kautz, Selman (1992)(Correct)
Knowledge compilation speeds inference by creating tractable approximations of a knowledge
base, but this advantage is lost if the approximations are too large. We show how learning
concept generaliza... / the performance of knowledge representation systems by compiling
60.2 Data Mining - The Search for Knowledge in Databases - Holsheimer, Siebes (1991)(Correct)
Data mining is the search for relationships and global patterns that exist in large databases, but are `hidden'
among the vast amounts of data, such as a relationship between patient data and their me... / and search strategies and knowledge representations used in data mine br Knowledge representation
59.2 Virtual Schemas and Bases - Santos, Abiteboul, Delobel (1994)(Correct)
We propose the notions of virtual schemas and virtual bases as a coherent way of integrating various features in OODB views. A virtual schema is defined based on some existing (real) schema. A virtual... / engineering as well as knowledge representation AI concerns. In this
57.9 Learning to Reason - Khardon, Roth (1996)(Correct)
We introduce a new framework for the study of reasoning. The Learning (in order) to Reason
approach developed here views learning as an integral part of the inference process, and suggests
that learni... / when constructing its knowledge representation it can choose a br of learning some knowledge representation and reasoning with it.
57.9 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 ... / is a central topic in knowledge representation. A number of techniques br new applications in knowledge representation. Introduction
57.9 Computing Circumscription Revisited: A Reduction Algorithm - Doherty (1995)(Correct)
In recent years, a great deal of attention has been devoted to logics of "commonsense"
reasoning. Among the candidates proposed, circumscription has been perceived as an elegant
mathematical technique... / formalisms as tools for knowledge representation is the difficulty in br use of circumscription in knowledge representation. We take a number of
57.7 Process And Policy: Resource-Bounded Non-Demonstrative Reasoning - Loui (1993)(Correct)
This paper investigates the appropriateness of formal dialectics as a basis for non-monotonic reasoning and defeasible reasoning that takes computational limits seriously. Rules that can come into con... / especially those of the knowledge representation milieux have not yet br Reorientation in the knowledge representation community is needed to
57.4 Learning Sequential Decision Rules Using Simulation Models and.. - Grefenstette (1990)(Correct)
The problem of learning decision rules for sequential tasks is addressed,
focusing on the problem of learning tactical decision rules from a simple flight
simulator. The learning method relies on th... / SAMUEL including its knowledge representation its performance module br sections. . . . Knowledge Representation In contrast with many
57.1 An Information-Theoretic Definition of Similarity - Dekang Lin (1998)(Correct)
Similarity is an important and widely used concept.
Previous definitions of similarity are tied
to a particular application or a form of knowledge
representation. We present an informationtheoretic
de... / application or a form of knowledge representation. We present an br with many kinds of knowledge representations such as first order
57.1 Mining Knowledge in Geographical Data - Koperski, Han, Adhikary (1998)(Correct)
this article, a short overview is provided to
summarize recent studies on spatial data mining,
including spatial data mining techniques,
their strengths and weaknesses, how and when
to apply them, and... / computation and spatial knowledge representation techniques. Thus
56.7 Distributed Representations and Nested Compositional Structure - Plate (1994)(Correct)
Distributed representations are attractive for a number of reasons. They offer the possibility
of representing concepts in a continuous space, they degrade gracefully with noise,
and they can be proce... / . Sophistication of knowledge representations . br . The Knowledge Representation Hypothesis .
56.7 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
... / deductive databases knowledge representation and dataflow br editors. Logic-Based Knowledge Representation. MIT Press . .
56.0 Computational Complexity of Terminological Reasoning in BACK - Nebel (1988)(Correct)
Terminological reasoning is a mode of reasoning all hybrid knowledge
representation systems based on KL-ONE rely on. After a short introduction
of what terminological reasoning amounts to, it is prove... / of reasoning all hybrid knowledge representation systems based on KL-ONE br to the class of hybrid knowledge representation systems based on KL-ONE
55.0 Belief Revision: A Critique - Nir Friedman (1996)(Correct)
We examine carefully the rationale underlying the approaches to belief change
taken in the literature, and highlight what we view as methodological problems.
We argue that to study belief change caref... / Eds.Principles of knowledge representation and reasoning Proc. br test. In Principles of Knowledge Representation and Reasoning Proc.
55.0 Integrating Information Sources Using Context Logic - Farquhar (1995)(Correct)
It is essential to reduce the cost of integrating
information sources and to provide a path that
allows for incremental integration that can be
responsive to users' demands. This paper
presents an app... / intelligence and knowledge representation communities. The Carnot br on Principles of Knowledge Representation and Reasoning Gustav
54.5 A PSpace Algorithm for Graded Modal Logic - Tobies (1999)(Correct)
We present a PSpace algorithm that decides satisfiability of the graded modal logic Gr(K_R)---a natural extension of propositional modal logic KR by counting expressions---which plays an important rol... / role in the area of knowledge representation. The algorithm employs a br Especially in the area of knowledge representation the description logic
52.1 Ontology Development for Machine Translation: Ideology and Methodology - Mahesh (1996)(Correct)
In the Mikrokosmos approach to knowledge-based machine translation, lexical representation of word meanings as well as text meaning representation is grounded in a broad-coverage ontology of the world... / a number of problems in knowledge representation natural language br and those of most knowledge representation systems. .
52.1 Default Reasoning about Spatial Occupancy - Shanahan (1995)(Correct)
This paper describes a default reasoning problem, analogous to
the frame problem, that arises when an attempt is made to construct a
logic-based calculus for reasoning about the movement of objects in... / of attention in the knowledge representation literature and a variety br Proceedings Knowledge Representation Conference pages
51.8 Generating Bayesian Networks from Probability Logic Knowledge Bases - Haddawy (1994)(Correct)
We present a method for dynamically generating Bayesian networks from knowledge bases consisting of first-order probability logic sentences. We present a subset of probability logic sufficient for rep... / encodes information in the knowledge representation language he must know br editors Principles of Knowledge Representation and Reasoning
51.4 A Planning Algorithm not based on Directional Search - Rintanen (1998)(Correct)
The initiative in STRIPS planning has recently
been taken by work on propositional satisfiability.
Best current planners, like Graphplan, and
earlier planners originating in the partial-order or
refin... / on Principles of Knowledge Representation and Reasoning pages br G. N. Carlson editors Knowledge Representation and Defeasible
50.0 Using Multiple Knowledge Sources for Word Sense Discrimination - McRoy (1992)(Correct)
This paper addresses the problem of how to identify the intended meaning of individual
words in unrestricted texts, without necessarily having access to complete representations
of sentences. To discr... / alternative is to use a knowledge representation or interlingua to br and Edward Stabler. . Knowledge representation for commonsense
50.0 Pattern Associativity and the Retrieval of Semantic Networks - Levinson (1992)(Correct)
p.
1011-1024, Wiley, New York, 1987.
[58] C. Stanfill and D. Waltz, Toward memory-based reasoning. Comm. of the ACM, 29(12), 12131228
(December 1986).
[59] E. H. Sussenguth Jr., A graph-theoretic alg... / in the KL-ONE knowledge representation system. In Proc. br An Overview of the KL-One Knowledge Representation System Cognitive
49.2 Abduction as Belief Revision - Boutilier, Becher (1995)(Correct)
We propose a model of abduction based on the revision of the epistemic state of an agent.
Explanations must be sufficient to induce belief in the sentence to be explained (for instance, some
observati... / to play a crucial role in knowledge representation and reasoning across br on Principles of Knowledge Representation and Reasoning Bonn
48.2 Modular Utility Representation for Decision-Theoretic Planning - Wellman, Doyle (1992)(Correct)
Specification of objectives constitutes a central
issue in knowledge representation for
planning. Decision-theoretic approaches require
that representations of objectives possess
a firm semantics in t... / a central issue in knowledge representation for planning. br our view of modularity in knowledge representation as specification of
47.0 Lamarckian Learning in Multi-agent Environments - Grefenstette (1991)(Correct)
Genetic algorithms gain much of their power from
mechanisms derived from the field of population
genetics. However, it is possible, and in some
cases desirable, to augment the standard mechanisms
with... / learning systems the knowledge representation consists of symbolic
47.0 Toward a Metatheory of Action - Lifschitz (1991)(Correct)
We present a formalization of the blocks
world on the basis of the situation calculus
and circumscription, and investigate its
mathematical properties. The main theorem
describes the effect of the cir... / Conf. on Principles of Knowledge Representation and Reasoning pages
47.0 A Knowledge Level Analysis of Belief Revision - Nebel (1989)(Correct)
Revising beliefs is a task any intelligent agent
has to perform. For this reason, belief revision
has received much interest in Artificial
Intelligence. However, there are serious
problems when trying... / eds.Principles of Knowledge Representation and Reasoning