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.
14990.7 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
14141.6 Foundations of Temporal Constraint Databases - Koubarakis (1994)(Correct)
An important requirement of advanced temporal applications is the ability to deal with definite,
indefinite, finite and infinite temporal information. There is currently no database model which
offers... / me to the area of knowledge representation offered me the br applications. The Knowledge Representation Language Telos
11319.7 On the Efficient Maintenance of Temporal Integrity in Knowledge Bases - Plexousakis (1996)(Correct)
The maintenance of semantic integrity has been recognized as a cornerstone issue for
the development of databases and knowledge bases alike. Despite the extensive research
conducted during the last tw... / into the semantics of the knowledge representation language or the data br of Telos MBJK a knowledge representation language incorporating a
9544.3 Knowledge Representation with Logic Programs - Gerhard Brewka, Jürgen Dix (1997)(Correct)
In this tutorial-overview we show how Knowledge Representation
(KR) can be done with the help of generalized logic programs. We start
by introducing the core of PROLOG, which is based on definite logi... / Knowledge Representation with Logic Programs br we show how Knowledge Representation KR can be done with
9231.8 Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning - Niemelä (1993)(Correct)
Autoepistemic logic is investigated in a general setting where autoepistemic reasoning based on a given classical logic is studied. The possible sets of autoepistemic conclusions from a set of premise... / Chapter Introduction Knowledge representation and reasoning have been br of the first papers on knowledge representation McCarthy proposed
9081.9 Agents in Logic Programming - Quintero (1997)(Correct)
The objective of this thesis is to explore ways of describing agents in logical theories.
The contribution is that the logical theories we build are a generalised form of logic programs.
Like normal l... / Programming Language and Knowledge Representation . OPENLOG from br most prolific sub-fields Knowledge Representation. The following section
8981.5 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
8307.0 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
8176.4 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
7830.3 Prolegomena to Logic Programming for Non-Monotonic Reasoning - Jürgen Dix, Luís Moniz.. (1997)(Correct)
The present prolegomena consist, as all indeed do, in a critical
discussion serving to introduce and interpret the extended works
that follow in this book. As a result, the book is not a mere collec... / Nevertheless the simple knowledge representation and reasoning methods br on the foundations of knowledge representation and reasoning.
7629.0 Attractors In Recurrent Behavior Networks - Goetz (1997)(Correct)
If behavior networks, which use spreading activation to select actions, are analogous to connectionist methods of pattern recognition, then recurrent behavior networks, which use energy minimization, ... / Group for ideas about knowledge representation reasoning and acting br proceedings of any of the Knowledge Representation and Reasoning
7508.1 Knowledge Representation and Reasoning for Mixed-Initiative Planning - George Montague Ferguson (1995)(Correct)
This dissertation describes the formal foundations and implementation of a commonsense,
mixed-initiative plan reasoning system. By "plan reasoning" I mean the complete
range of cognitive tasks that pe... / Knowledge Representation and Reasoning for br linguistics and AI work on knowledge representation for the representation
7325.1 Reasoning With Taxonomies - Fall (1996)(Correct)
We journey to learn, yet in travelling grow each day
further and further from where we began"
-- Wade Davis
Taxonomies are prevalent in a multitude of fields, including ecology, linguistics, progra... / of taxonomic reasoning in knowledge representation logic programming br of variables. For graphic knowledge representation formalisms we develop
7275.8 Logic-based Knowledge Representation - Baader (1997)(Correct)
After a short analysis of the requirements that a knowledge representation
language must satisfy, we introduce Description Logics,
Modal Logics, and Nonmonotonic Logics as formalisms for representing,... / Logic-based Knowledge Representation Franz Baader br of the requirements that a knowledge representation language must satisfy
7262.0 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
7252.2 Proof Systems for Nonmonotonic Logics - Niemelä, Schwind (1994)(Correct)
A survey of proof systems for nonmonotonic logics is presented. In particular,
proof methods for default logics, nonmonotonic modal logics, circumscription,
and conditional logics are discussed.
1 Int... / fundamental phenomena in knowledge representation and reasoning. However br to the query Usually in a knowledge representation system answers are
7198.7 Analogy in Problem Solving - Melis, Veloso(Correct)
ion
Let P be the aspect describing time (in terms of hours and minutes) and day of week.
The aspect Q describes whether the stores are open in Germany. Then each reformulation
ae mapping a time betwe... / the domains tackled the knowledge representation used the top level br influenced the knowledge representation particularly in
7171.8 Algebraic Terminological Representation - Schmidt (1991)(Correct)
This thesis investigates terminological representation languages, as used in
kl-one-type knowledge representation systems, from an algebraic point
of view. Terminological representation languages are... / as used in kl-one-type knowledge representation systems from an br of that branch of Knowledge Representation concerned with
7140.6 Learning with Graphical Models - Buntine (1994)(Correct)
Probabilistic graphical models are being used widely in artificial intelligence, for instance,
in diagnosis and expert systems, as a unified qualitative and quantitative framework for representing
and... / in combination with the knowledge representation and standard search br problem decomposition and knowledge representation although the neural
7120.1 Closed Terminologies and Temporal Reasoning in Description Logic for.. - Weida (1996)(Correct)
Closed Terminologies and Temporal Reasoning in Description Logic
for Concept and Plan Recognition
Robert Anthony Weida
Description logics are knowledge representation formalisms in the tradition of
fr... / Description logics are knowledge representation formalisms in the br work. As manager of the Knowledge Representation Principles and Practices
7116.4 Symbolic Artificial Intelligence And Numeric Artificial Neural.. - Honavar (1994)(Correct)
This
memory can take several forms based on the time scales at which such modifications
are allowed. Some symbol structures might have the property of determining
choice and the order of application o... / problems in perception knowledge representation and inference robotics br Chapter Knowledge Representation Revisited Knowledge
7060.2 The Design And Implementation Of Massively Parallel Knowledge.. - Mani (1995)(Correct)
Efficient knowledge representation and reasoning is an important component of intelligent activity,
and is a crucial aspect in the design of large-scale intelligent systems. This dissertation
explores... / Of Massively Parallel Knowledge Representation And Reasoning Systems br iii ABSTRACT Efficient knowledge representation and reasoning is an
6929.1 An Annotated Bibliography of Software Agent Technology - Moore, Noschang, Penix(Correct)
This paper provides an overview of software agent technology. The various aspects
of agent technology and research are broken into the theoretical foundations, applications,
architectures and language... / symbolic reasoning such as knowledge representation and temporal reasoning br editors Proceedings of Knowledge Representation and Reasoning
6825.2 A Computational Model of Expectation-Driven Mixed-Initiative Dialog.. - Smith (1992)(Correct)
Model of Task Processing : : : : : : : : : : : : : : : : : : : : 7
1.3.2 Developing a Theory on the Role of Language : : : : : : : : : : : : : : : : : : : : : : : 8
1.3.3 Producing and Using Expectati... / Implementation . Knowledge Representation br . . Knowledge Representation and Processing
6680.5 Learning in Order to Reason - Roth (1995)(Correct)
Any theory aimed at understanding commonsense reasoning, the process that humans
use to cope with the mundane but complex aspects of the world in evaluating everyday
situations, should account for its... / even for very restricted knowledge representations. Motivated by these br the KB. There are many knowledge representations that can be used to
6646.6 Understanding Natural Language Instructions: A Computational Approach .. - Di Eugenio (1993)(Correct)
Human agents are extremely flexible in dealing with Natural Language instructions. I
argue that most instructions don't exactly mirror the agent's knowledge, but are understood
by accommodating them i... / right questions about the Knowledge Representation formalism. Heartfelt br make use of a flexible knowledge representation system able to support
6401.6 Integrity Constraints: Semantics and Applications - Godfrey, Grant, Gryz, Minker (1997)(Correct)
this paper. Similarly, we have shown that integrity constraints
can apply to temporal conditions, but that there is no one uniform approach to handling temporal
databases.
Many areas of the use of int... / an adequate and suitable knowledge representation in databases. br There is much work in knowledge representation and one might argue that
6220.0 Reasoning About Time and Change: a Knowledge Base Management.. - Koubarakis (1990)(Correct)
this paper, I will survey a number of temporal formalisms and systems from Knowledge Representation
and Databases. Work in these two areas is particularly relevant if one is interested in
designing an... / and systems from Knowledge Representation and Databases. Work in br formalisms and systems in Knowledge Representation and Databases in the
5973.2 Symbolic Artificial Intelligence, Connectionist Networks, And Beyond - Honavar, Uhr(Correct)
This
memory can take several forms based on the time scales at which such modifications
are allowed. Some symbol structures might have the property of
determining choice and the order of application o... / of problems in perception knowledge representation and inference robotics br Symbolic Processes Knowledge representation in SAI systems involves
5950.9 Explaining Reasoning In Description Logics - McGuinness (1996)(Correct)
OF THE DISSERTATION
EXPLAINING REASONING IN DESCRIPTION
LOGICS
by Deborah L. McGuinness
Dissertation Director: Alexander Borgida
Knowledge-based systems, like other software systems, need to be debugg... / in the classic knowledge representation system. Next we consider br Rich Thomason and his knowledge representation students at University
5887.1 Artificial Intelligence: A Computational Perspective - Nebel (1994)(Correct)
Although the computational perspective on cognitive tasks has always
played a major role in Artificial Intelligence, the interest in the precise
determination of the computational costs that are requi... / ed.Essentials in Knowledge Representation. Bernhard Nebel br on the complexity of knowledge representation and reasoning Brachman
5748.3 Access-Limited Logic - A Language for Knowledge Representation - Crawford (1990)(Correct)
Access-Limited Logic (ALL) is a language for knowledge representation which formalizes the access
limitations inherent in a network structured knowledge-base. Where a deductive method such as
resoluti... / Logic -A Language for Knowledge Representation James Crawford br ALL is a language for knowledge representation which formalizes the
5737.2 A Theory of Multiple Classifier Systems And Its Application to Visual .. - Ho (1992)(Correct)
Despite the success of many pattern recognition systems in constrained domains,
problems that involve noisy input and many classes remain difficult. A promising
direction is to use several classifiers... / have widened my vision in knowledge representation analysis of algorithms
5685.6 Lexical semantics and knowledge representation in multilingual.. - Stede (1996)(Correct)
Lexical semantics and knowledge representation
in multilingual sentence generation
Manfred Stede
Doctor of Philosophy
Graduate Department of Computer Science
University of Toronto
1996
This thesis de... / Lexical semantics and knowledge representation in multilingual sentence
5614.7 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
5568.1 Disjunctive Datalog - Eiter, Gottlob, Mannila (1997)(Correct)
We consider disjunctive datalog, a powerful database query language based on disjunctive logic programming. Briefly, disjunctive datalog is a variant of datalog where disjunctions may appear in the ru... / Intelligence Knowledge Representation Formalisms and Methods br of disjunctive rules for knowledge representation database querying and
5551.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
5469.9 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 .
5464.7 A Memory Model for Case Retrieval by Activation Passing - Brown (1994)(Correct)
This thesis is concerned with the development of an under-lying model of
memory to support selective case retrieval for case-based reasoning. The major
requirements are that retrieval should be highly... / section . . and related knowledge representation issues are discussed in br the relationship between knowledge representation and knowledge retrieval
5434.2 PALO: A Probabilistic Hill-Climbing Algorithm - Greiner (1996)(Correct)
Many learning systems search through a space of possible performance elements,
seeking an element whose expected utility, over the distribution of problems, is high.
As the task of finding the globall... / tradeoff problem from knowledge representation. Introduction Many br extension problem in knowledge representation and
5291.9 Logics for Databases and Information Systems - Chomicki, (Eds.) (1998)(Correct)
Temporal Databases 34
3.2.2 Relational Database Histories 36
3.3 Temporal Queries 36
3.3.1 Abstract Temporal Query Languages 37
3.3.2 Expressive Power 41
3.3.3 Space-efficient Encoding of Temporal Dat... / Inheritance Theories for Knowledge Representation . Research
5207.6 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
5067.9 A glance at non-standard models and logics of uncertainty and.. - Dubois, Prade(Correct)
This paper discusses recent approaches to the representation of imperfect information, as they have appeared in the last twenty years. The stress is on ideas rather than mathematics. Especially, it is... / I. -Probability and Knowledge Representation The canonical setting br The problem of knowledge representation is quite different and
4998.1 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 . .
4871.9 Metaprogramming in Logic - Barklund (1994)(Correct)
In this review of metaprogramming in logic we pay equal attention to
theoretical and practical issues: the contents range from mathematical
and logical preliminaries to implementation and applications... / software engineering and knowledge representation. The area is one in br major application area knowledge representation and reasoning.
4839.9 Non-Incremental Classification Learning Algorithms Based On Voting.. - Demiröz (1997)(Correct)
NON-INCREMENTAL CLASSIFICATION LEARNING
ALGORITHMS BASED ON VOTING FEATURE
INTERVALS
Gul¸sen Demiroz
M.S. in Computer Engineering and Information Science
Supervisor: Assoc. Prof. Halil Altay Guvenir
... / feature projection based knowledge representation for the classification br . . Knowledge Representation
4785.9 Structured Concept Discovery: Theory and Methods - Conklin (1994)(Correct)
The field of knowledge discovery is concerned with the theory and processes involved
in finding and representing patterns and regularities previously unknown. A
new generation of knowledge discovery t... / use a highly restricted knowledge representation language for br concept descriptions. Knowledge representation is crucial for a machine
4737.9 Knowledge Discovery in Databases - Wüthrich (1995)(Correct)
This is a draft of a manuscript of a postgraduate course taught at the Hong Kong University of Science
and Technology in Spring 95. The course gives an introduction into the young and fascinating fiel... / databases since i the knowledge representation languages are query br been carried out using the knowledge representation tool of a decision tree
4731.8 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
4707.6 An Integrated Approach to System Modelling using a Synthesis of.. - Fishwick (1992)(Correct)
Traditional computer simulation terminology includes taxonomic divisions with
terms such as "discrete event," "continuous," and "process oriented." Even though
such terms have become familiar to simul... / Artificial Intelligence Knowledge Representation Formalisms and Methods - br H.Eds. Readings in Knowledge Representation. Morgan Kaufman .
4694.5 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
4636.3 Learning Procedural Planning Knowledge In Complex Environments - Pearson (1996)(Correct)
LEARNING PROCEDURAL PLANNING KNOWLEDGE IN COMPLEX
ENVIRONMENTS
by
Douglas John Pearson
Chair: John E. Laird
In complex, dynamic environments, an agent's knowledge of the environment (its domain knowle... / . . . Knowledge Representation . br . . . Knowledge Representation .
4625.3 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
4621.5 User Interface Languages: A Survey of Existing Methods - Abowd, Bowen, Dix, Harrison, Took (1989)(Correct)
This report gives a survey of user interface languages and formal representations of user interfaces. The following aspects of User Interface Languages are considered: expressiveness; readability; eva... / possibility to include knowledge representation. Further copies of br upon such issues as knowledge representation and usermodelling. It is
4564.0 Critiquing: Effective Decision Support in Time-Critical Domains - Gertner (1995)(Correct)
Critiquing: Effective Decision Support in Time-Critical Domains
Abigail S. Gertner
Bonnie L. Webber (Supervisor)
The TraumAID system is a tool for assisting physicians during the initial definitive
m... / . . Knowledge representation br systems in terms of the knowledge representation necessary to do both and
4552.6 A Model-Based Approach to Analogical Reasoning and Learning in Design - Bhatta (1992)(Correct)
Analogy is often believed to play an important role in reasoning underlying innovation
and creativity. The ability to make analogies between distant situations or domains
(i.e., cross-domain analogies... / . Knowledge Representation br experimentation. . Knowledge Representation Our approach to
4552.4 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
4498.2 An Overview of Corpus-Based Statistics-Oriented (CBSO) Techniques for .. - Su, Chiang, Chang (1996)(Correct)
A Corpus-Based Statistics-Oriented (CBSO) methodology, which is an attempt to avoid the drawbacks
of traditional rule-based approaches and purely statistical approaches, is introduced in this paper. R... / following problems. Knowledge representation how to organize and br own specific method for knowledge representation. Since the first three
4494.5 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
4469.6 Integrating Rule Based Reasoning and Neural Networks - Ertel, al. (1995)(Correct)
this document describes a fully integrated model
based on probability theory supported by the method of maximum entropy. It integrates
aspects of rule based reasoning and neural networks and its stren... / understood formalism for knowledge representation and automated reasoning. br reasoning mechanisms and knowledge representation formalisms. . . Data
4420.9 An Agenda For Digital Journals: The Socio-Technical Infrastructure Of .. - Gaines (1993)(Correct)
The problems of information overload from the growth of scholarly literature, and the need to
use information technology to manage them, were identified by major writers and scientists over
fifty year... / . Multimedia . Knowledge Representation and Cognitive Maps . br et al. . Knowledge Representation and Cognitive Maps The
4415.8 Terminological Constraint Network Reasoning and its Application to.. - Weida (1993)(Correct)
Terminological systems in the tradition of KL-ONE are widely used in AI to represent
and reason with concept descriptions. They compute subsumption relations between
concepts and automatically classif... / . Terminological Knowledge Representation br on terminological knowledge representation and on temporal
4364.2 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
4318.2 Building Knowledge Base Management Systems - Mylopoulos, Chaudhri, Plexousakis.. (1995)(Correct)
Advanced applications in fields such as CAD, Software Engineering, Real-Time Process Control, Corporate
Repositories and Digital Libraries require the construction, efficient access and management of ... / assumes an object-oriented knowledge representation language with an br base management systems knowledge representation storage management
4311.4 An Exploration of the Application of Software Reuse Techniques to the .. - Cox (1994)(Correct)
L
oosely coupled distributed systems are characterised by a separation of resources and
a consequent need for a facility to aid in the location of those resources. Traditionally,
this role of resourc... / . . Knowledge Representation br methodologies utilising knowledge representation techniques. The following
4278.3 Toward Learning Systems That Integrate Different Strategies and.. - Vasant Honavar (1994)(Correct)
1
An understanding of learning -- the process by which a learner acquires and refines a broad
range of knowledge and skills -- is central to the enterprise of building truly adaptive, flexible,
robust... / structures. . Knowledge Representation and Inference Most of br in arriving at the knowledge representations starting with raw
4276.1 Data Mining: Trends In Research And Development - Deogun, Raghavan, Sarkar, Sever (1996)(Correct)
Data mining is an interdisciplinary research area spanning several disciplines such
as database systems, machine learning, intelligent information systems, statistics,
and expert systems. Data mining ... / mining including data and knowledge representation probabilistic modeling br is built on. The issue of knowledge representation has been studied in the
4217.0 The Collective Stance In Modeling Expertise In Individuals And.. - Gaines (1994)(Correct)
This paper is concerned with modeling the nature of expertise and its role in society in relation to
research on expert systems and enterprise models. It argues for the adoption of a collective stance... / technology is useful. Knowledge representation systems provide desirable br database development and knowledge representation for expert systems have
4206.6 Data Mining: Research Trends, Challenges, and Applications - Deogun, Raghavan, Sarkar, Sever (1997)(Correct)
Data mining is an interdisciplinary research area spanning severals disciplines such as database systems, machine learning, intelligent information systems, statistics, and expert systems. Data mining... / mining including data and knowledge representation probabilistic modeling br is built on. The issue of knowledge representation has been studied in the
4173.6 On Formal Requirements Modeling Languages: RML Revisited - Greenspan, Mylopoulos, Borgida (1994)(Correct)
Research issues related to requirements modeling are
introduced and discussed through a review of the
requirements modeling language RML, its peers and its
successors from the time it was first propos... / .Object-centered knowledge representation is an appropriate br languages on top of knowledge representation substrata e.g.GIST
4161.3 Non-monotonic Reasoning vs. Logic Programming: A New Perspective - Przymusinski (1987)(Correct)
this paper is to present an account of these recent developments.
The paper is organized as follows. In Sections 2, 3 and 4 we briefly
discuss declarative knowledge, non-monotonic reasoning and logic ... / procedural approach to knowledge representation still see an important br logic as a language for knowledge representation in AI. Later these ideas
4152.5 Enhancing Debugging Technology - Viravan (1994)(Correct)
This dissertation presents a new debugging assistant called a Debugging Critic. As an alternative to an automated debugging oracle, the debugging critic evaluates hypotheses about fault locations. if ... / . . Knowledge representation for failure symptoms br This section presents knowledge representation for failure symptoms and
4121.6 Genetic Algorithms and Fuzzy Logic in Control Processes - Cordón, Herrera, .. (1995)(Correct)
In this paper we describe the genetic algorithms and fuzzy logic, focusing them as tools
to model control processes and to design intelligent and automatic control systems. We
describe the application... / with the problem of knowledge representation in an environment of br FL is a powerful tool for knowledge representation in computational
4084.6 Therapy Plan Generation in Complex Dynamic Environments - Arnold, Jantke (1994)(Correct)
There has been developed a methodology for the automatic synthesis of therapy plans
for complex dynamic systems. An algorithm has been implemented and testet. This is
the core of some control synthesi... / . Issues of Knowledge Representation br . Incomplete and Dynamic Knowledge Representation
4033.0 Non-Monotonic Formalisms And Logic Programming - Przymusinski (1989)(Correct)
this paper is to discuss recent research developments, which unknown NON-MONOTONIC FORMALISMS
AND LOGIC PROGRAMMING
Teodor C. Przymusinski
The University of Texas at El Paso
teodor%utep.uucp@cs.utexa... / logic as a language for knowledge representation in AI. The logical br The logical approach' to knowledge representation proved to be very
4000.9 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
3938.1 Building Knowledge Base Management Systems: A Progress Report - Mylopoulos, Chaudhri, Plexousakis.. (1994)(Correct)
Advanced applications in fields such as CAD, Software Engineering, Real-Time Process Control, Corporate
Repositories and Digital Libraries require the construction, efficient access and management of ... / assumes an object-oriented knowledge representation language with an br base management systems knowledge representation storage management
3854.1 Chapter 6 Directions for Future Work - Active Vision(Correct)
the range 3580
GHz.
Most pattern theoretic algorithms to date have attempted "passive vision" in
the sense that they interpret a given set of data but are not allowed any say in how
the data are colle... / In particular high-level knowledge representations may be exploited in two
3847.6 Graphical Models for Probabilistic and Causal Reasoning - Pearl (1997)(Correct)
INTRODUCTION
This chapter surveys the development of graphical models known as Bayesian networks,
summarizes their semantical basis and assesses their properties and applications to reasoning
and pla... / than as in many other knowledge representation schemes e.g.logic br Conference on Knowledge Representation and Reasoning pages
3838.5 Model Checking vs. Theorem Proving: A Manifesto - Halpern, Vardi (1991)(Correct)
We argue that rather than representing an agent's knowledge as a collection
of formulas, and then doing theorem proving to see if a given formula follows from an
agent's knowledge base, it may be mo... / appears in Principles of Knowledge Representation and Reasoning br standard approach in AI to knowledge representation going back to McCarthy
3795.5 Inductive Logic Programming for Natural Language Processing - Raymond Mooney (1997)(Correct)
This paper reviews our recent work on applying inductive
logic programming to the construction of natural language processing
systems. We have developed a system, Chill, that learns a parser from a
... / to require a very rich knowledge representation language that includes
3752.4 Modeling Agents as Qualitative Decision Makers - Brafman, Tennenholtz (1997)(Correct)
We investigate the semantic foundations of a method for modeling agents as entities with a
mental state which was suggested by McCarthy and by Newell. Our goals are to formalize this
modeling approach... / for abstract analysis of knowledge representation schemes. The second br approach enables knowledge representation researchers to treat
3734.5 The F(rames)-Logic Approach for Description Languages II: A Hybrid.. - Balaban (1994)(Correct)
Descriptions and Rules are different, complementary, essential forms of knowledge. Descriptions are
analytic and closed; rules are contingent and open. Historically, descriptions and rules were develo... / operators. keywords Knowledge representation Description languages br is a collective name for knowledge representation formalisms that
3719.9 A Brief Overview of Logic Programming Research at the K.U.Leuven.. - Martens, Bruynooghe, Denecker, De..(Correct)
In this paper, we present a brief overview of most recent and ongoing research in
logic programming at the K.U.Leuven Department of Computer Science. We specifically
include some indications of its pr... / logic programming and knowledge representation providing for br from the area of Knowledge Representation and reasoning techniques
3690.3 Semantic Issues in Deductive Databases and Logic Programs - Przymusinska, Przymusinski (1990)(Correct)
this paper. In particular, the paper reports on a very
significant progress made recently in this area. It also presents some results
which have not yet appeared in print.
The paper is organized as ... / the logical approach to knowledge representation. This approach is based br on Principles of Knowledge Representation and Reasoning KR'
3685.1 Introspective Learning For Case-Based Planning - Fox (1995)(Correct)
A fundamental problem for artificial intelligence is creating systems that can operate
well in complex and dynamic domains. In order to perform well in such domains,
artificial intelligence systems mu... / kinds of knowledge and knowledge representations that are required to br for Massively Parallel Knowledge Representation. Ph.D. thesis
3665.5 Fuzzy Finite-state Automata Can Be Deterministically Encoded into.. - Omlin, Thornber, Giles (1998)(Correct)
There has been an increased interest in combining fuzzy systems with neural networks because fuzzy
neural systems merge the advantages of both paradigms. On the one hand, parameters in fuzzy systems
h... / recurrent neural networks knowledge representation automata languages br . Fuzzy Knowledge Representation in Neural Networks In
3661.1 Rational Interaction in Multiagent Environments: Coordination - Gmytrasiewicz (1997)(Correct)
We adopt the decision-theoretic principle of expected utility maximization as a
paradigm for designing autonomous rational agents, and present a method of representing
and processing a finite amount o... / do not postulate a general knowledge-representation and reasoning formalism.
3594.9 An Overview of Limits to Knowledge Level-B Modeling (and KADS) - Menzies (1995)(Correct)
Despite the current enthusiasm for knowledge level-B modeling in general and KADS in particular,
we find their exists little empirical proof of the utility of this approach. In this paper, we will rev... / phrase While some knowledge representation theorists still make br claims that their knowledge representation theory has some
3594.0 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
3570.9 Logics of Mental Attitudes in AI - Yoav Shoham, Steve B. Cousins (1994)(Correct)
There has been a growing interest in AI in formal, qualitative
models of various mental attitudes, starting with the well-researched concepts
of knowledge and belief, and continuing with more exotic... / much of the work in AI on knowledge representation KR The argument made br Proc. Second Conference on Knowledge Representation and Reasoning Boston
3546.8 Semantics for Disjunctive Logic Programs with Explicit and Default.. - Minker, Ruiz (1994)(Correct)
The use of explicit negation enhances the expressive power of logic
programs by providing a natural and unambiguous way to assert negated
information about the domain being represented. We study the s... / to the use of logic in knowledge representation and reasoning. When br C. Baral. Issues in Knowledge Representation Semantics and Knowledge
3507.7 Machine Learning Techniques for Civil Engineering Problems - Reich (1997)(Correct)
The growing volume of information databases presents opportunities for advanced
data analysis techniques from machine learning (ML) research. Practical applications
of ML are very different from theor... / methods and creative knowledge representations were used to address
3480.1 Description Logics are not just for the Flightless-Birds: A New Look.. - Borgida (1992)(Correct)
This paper presents some of the underlying principles of description logics (also known
as terminological logics or kl-one-style languages), grounding them in the lattice of terms
organized by the so-... / management systems knowledge representation and reasoning systems br of their origin in knowledge representation research for natural
3475.7 Multivalued Logics: A Uniform Approach to Inference in Artificial.. - Ginsberg (1988)(Correct)
This paper describes a uniform formalization of much of the current work in AI on inference systems.
We show that many of these systems, including first-order theorem provers, assumption-based truth m... / considered. Keywords knowledge representation nonmonotonic reasoning
3447.7 Well-Founded and Stationary Models of Logic Programs - Przymusinski (1994)(Correct)
Machine (XWAM) for this semantics [War89] and
developed an elegant interpreter in Prolog [CW92]. For datalog programs with negation,
the computation of well-founded models is quadratic in the size of ... / the logical approach to knowledge representation. This approach is based br on Principles of Knowledge Representation and Reasoning KR'
3446.8 Diagrammatic Representation And Reasoning - Kulpa (1994)(Correct)
The rapidly developing field of diagrammatic knowledge representation and reasoning is
surveyed. The origins and rationale of the field, basic principles and methodologies, as well as selected
appli... / field of diagrammatic knowledge representation and reasoning is br visualization knowledge representation computer graphics
3435.2 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
3410.2 Sound and Efficient Closed-World Reasoning for Planning - Oren Etzioni(Correct)
Closed-world inference is the process of determining that a logical sentence is false
based on its absence from a knowledge base, or the inability to derive it. This process
is essential for planning ... / closed roles found in knowledge-representation systems such as classic br classic to Practice Knowledge Representation Theory Meets Reality. In
3407.3 Automatic Acquisition of Noun and Verb Meanings - Pedersen (1995)(Correct)
A robust Natural Language Processing (NLP) system must be able to automatically acquire the syntax and semantics of unknown words that it encounters during processing. It is inevitable that a real--wo... / maps the text into a knowledge representation scheme that will be the br networks are powerful knowledge representations since they are able to
3329.1 Knowledge Representation in Machine Learning - Clark (1989)(Correct)
Introduction
Knowledge representation is a topic poorly discussed in machine learning. However, it is
perhaps the fundamental consideration in the design of any learning system, because the
represent... / Knowledge Representation in Machine Learning br Introduction Knowledge representation is a topic poorly
3303.1 Multiple Predicate Learning in Two Inductive Logic Programming.. - De Raedt, Lavrac (1996)(Correct)
Inductive logic programming (ILP) is a research area which has its roots in inductive machine learning
and computational logic. The paper gives an introduction to this area based on a distinction betw... / ffl the use of a limited knowledge representation formalism essentially br on Principles of Knowledge Representation and Reasoning pages
3270.3 Autonomous Agents and Collective Robotics - Chantemargue, Courant, Hirsbrunner(Correct)
this paper is twofold. First to take stock of the state of the AMoC project after three
years of research (funded by the Swiss National Foundation for Research unknown Autonomous Agents and Collective... / field is the problem of knowledge representation and knowledge br the problem of knowledge representation and knowledge engineering how to
3261.2 Concept Maps as Hypermedia Components - Gaines, Shaw (1995)(Correct)
Concept mapping has a history of use in many disciplines as a formal or semi-formal
diagramming technique. Concept maps have an abstract structure as typed hypergraphs, and
computer support for concep... / are already used as formal knowledge representation systems for example br extensively for formal knowledge representation. In linguistics
3225.0 A Theory of Interaction and Independence in Sentence Understanding - Kavi Mahesh (1993)(Correct)
Developing a complete and well-specified computational model of human language processing
is a difficult problem. Natural language understanding requires the application of many different
kinds of kno... / . Knowledge Representation br models depending on how knowledge representations and processing at
3218.8 Symbolic Interpretation of Artificial Neural Networks - Taha, Ghosh (1996)(Correct)
H
ybrid Intelligent Systems that combine knowledge based and artificial neural network systems
typically have four phases involving domain knowledge representation, mapping of this
knowledge into an ... / phases involving domain knowledge representation mapping of this
3189.6 Hierarchical Concurrent Engineering: Supporting Hierarchical.. - D'Ambrosio, Birmingham (1995)(Correct)
One primary task of engineering design is resolution of the conflicting objectives that are inherent in the design
process. This problem is even more difficult when members of a design team, who each ... / and it is assumed the knowledge representation varies from one br of the above systems is on knowledge representation and communication for a
3181.4 A Computational Theory Of Vocabulary Expansion - Ehrlich, Rapaport (1997)(Correct)
This project concerns the development and implementation of a computational theory of how
human readers and other natural-language-understanding systems can automatically expand
their vocabulary by de... / in the SNePS- . knowledge-representation and reasoning system br in the SNePS- . knowledge-representation and reasoning system.
3178.3 A Formalism and an Algorithm for Computing Pragmatic Inferences and.. - Marcu (1994)(Correct)
Since Austin introduced the term infelicity, the linguistic literature has been flooded with its
use. Today, not only performatives that fail are considered infelicitous but also utterances
that are s... / cognitive robotics and knowledge representation groups who shared with br study of the abilities of knowledge representation formalisms to capture
3171.8 What is Hybrid in Hybrid Representation and Reasoning Systems? - Nebel (1989)(Correct)
Hybrid knowledge representation and reasoning
systems have received a lot of interest
in recent years. In this paper, we
will give a brief survey of the principles and
ideas behind these systems and w... / Abstract Hybrid knowledge representation and reasoning systems br Introduction Hybrid knowledge representation and reasoning systems
3166.1 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
3153.6 Sorted Unification And The Solution Of Semi-Linear Membership.. - Uribe (1992)(Correct)
This thesis describes a new representation for sortal constraints and a unification algorithm
for the corresponding constrained terms. Variables range over sets of terms described by systems
of set co... / previous members of the Knowledge Representation and Reasoning Group br on Principles of Knowledge Representation and Reasoning pages
3147.4 Of Elephants and Men - Johan Lammens (1994)(Correct)
In the elephant paper, Brooks criticized the ungroundedness
of traditional symbol systems and proposed physically grounded
systems as an alternative. We want to make a contribution towards
integrati... / subsumption to classical knowledge representation and reasoning and a new br to be named entities. The knowledge representation and reasoning KRR
3123.0 Intelligent Backtracking in the Echidna Constraint Logic Programming.. - Havens (1992)(Correct)
Abstract: A new type of reasoning engine for model-based expert system applications is described which
employs recent advances in constraint logic programming (CLP), intelligent backtracking (IB) and ... / schema object-oriented knowledge representations. Constraint reasoning br with schemata structural knowledge representations in order to make the
3108.7 An Overview of Cooperative Answering - Gaasterland, al. (1992)(Correct)
Databases and information systems are often hard to use because they do not explicitly attempt to cooperate
with their users. Direct answers to database and knowledge base queries may not always be th... / that cost ffl knowledge representation needs for constructing br also serves as the core knowledge representation and for her system there
3104.3 Compositional Semantics for Description Knowledge Bases with Rules - Balaban (1996)(Correct)
Descriptions and Rules are different, complementary, essential forms of knowledge. Descriptions
are analytic and closed; rules are contingent and open. The two forms can be integrated either by
compil... / openness. keywords Knowledge representation Description languages br is a collective name for knowledge representation formalisms that
3101.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
3100.8 Formal Ontology, Conceptual Analysis and Knowledge Representation - Guarino (1995)(Correct)
The purpose of this paper is to defend the systematic introduction of formal
ontological principles in the current practice of knowledge engineering, to explore
the various relationships between onto... / Conceptual Analysis and Knowledge Representation edited by N. Guarino and br Conceptual Analysis and Knowledge Representation Nicola Guarino
3098.8 Extending Object-Oriented Design for Physical Modeling - Fishwick (1996)(Correct)
When we build simulation models and construct dynamical models for physical systems,
we often do not do so using a clear overall framework that organizes our geometry, dynamics
and models. How do geom... / necessary initially but a knowledge representation and design framework br model exists soley as a knowledge representation of a physical system
3068.1 An Information Retrieval View of Environmental Information Systems - Fuhr(Correct)
In the design of future enviromental systems, the semantics of the data as well as the kind of queries
to those systems have to be considered. Enviromental data is frequently uncertain and incomplete.... / as texts or elements of a knowledge representation formalism should be br document or in some knowledge representation language within the EIS.
3067.7 Is Intractability of Non-Monotonic Reasoning a Real Drawback? - Cadoli, Donini, Schaerf (1995)(Correct)
Several studies about computational complexity of non-monotonic
reasoning (NMR) showed that non-monotonic inference is significantly
harder than classical, monotonic inference. This contrasts with the... / NMR can be used to make knowledge representation and reasoning simpler br topic whose importance for knowledge representation and reasoning has been
3061.4 Augmented Bibliography - Appendix Augmented(Correct)
A discussion is given of a number of expert systems in the library and information
field, and the author proceeds to consider expert systems development in the business, industry
and government area... / hybrid methodologies knowledge representation and miscellaneous. Each br hybridisation from a knowledge representation and more general view
3047.5 An Autonomous Agent Architecture for Integrating Perception and.. - Hexmoor, Lammens, Shapiro (1992)(Correct)
We describe an agent architecture in terms of general principles of organization of components
for an autonomous agent that functions in the world. This architecture is described
independent of comput... / they often lack general knowledge representation and reasoning techniques. br ranges from general knowledge representation and reasoning to
3027.8 Modeling Belief in Dynamic Systems. Part II: Revision and Update - Friedman (1999)(Correct)
The study of belief change has been an active area in philosophy and AI. In recent years
two special cases of belief change, belief revision and belief update, have been studied in
detail. In a compan... / Eds.Principles of Knowledge Representation and Reasoning Proc. br on Principles of Knowledge Representation and Reasoning KR
3023.7 A Theory and Implementation of Cognitive Mobile Robots - De Giacomo, Iocchi, Nardi, Rosati (1998)(Correct)
We describe an approach to reasoning agents which is based on a formal theory of actions
and is actually implemented on a mobile robot working in an office environment. From an
epistemological viewpoi... / we use a general purpose knowledge representation system based on br a rational design of knowledge representation languages and their
3000.4 Mental Models: A Survey - Schwamb (1990)(Correct)
This paper reviews a class of cognitive representations collectively known as mental
models. These representations purport to integrate certain aspects of propositional
and imagistic theories of know... / and imagistic theories of knowledge representation while enabling more br with more conventional knowledge representations a brief discussion and
2998.4 Software for data analysis with graphical models - Buntine (1995)(Correct)
Probabilistic graphical models are being used
widely in artificial intelligence and statistics, for instance,
in diagnosis and expert systems, as a framework
for representing and reasoning with probab... / in combination with the knowledge representation and standard search
2989.0 Entrenchment Relations: A Uniform Approach to Nonmonotonicity - Georgatos (1997)(Correct)
We show that Gabbay's nonmonotonic consequence relations can be
reduced to a new family of relations, called entrenchment relations. Entrenchment
relations provide a direct generalization of epistem... / a logical foundation for knowledge representation formalisms. The reason
2987.2 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.
2980.1 Representing Discourse in Context - van Eijck, Kamp (1997)(Correct)
This article gives a survey of Discourse Representation Theory (DRT), including recent developments, and
with an emphasis on logical issues. Discourse representation structures are defined, and variou... / of Natural Language Knowledge Representation Languages. Note This
2979.5 The F-Logic Approach for Description Languages - Balaban (1993)(Correct)
The Frame-logic (F-logic) approach of [20] is suggested as an underlying framework for description languages.
F-logic is shown to provide a full account for description languages, without losing the d... / is a collective name for knowledge representation formalisms that br languages with general knowledge representation systems. In particular
2973.2 Two-Level Models of Hypertext - Mayfield (1995)(Correct)
A two--level model of hypertext is one in which a set of texts is augmented with an ancillary
structure that captures some aspect of the meaning of those texts. Links between texts are
routed through ... / a set of texts with a knowledge representation structure that captures br An overview of the KL-ONE knowledge representation system. Cognitive
2967.6 Time in Connectionist Models - Chappelier, Gori, Grumbach(Correct)
Introduction
There exist two different kinds of knowledge representation in Artificial Intelligence:
explicit, that can be represented by symbolic expressions, and implicit (i.e.
non-symbolic), whic... / two different kinds of knowledge representation in Artificial br can affect both types of knowledge representation. This chapter covers the
2964.8 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
2960.8 Computing with continuous change - Gupta, Jagadeesan, Saraswat(Correct)
A central challenge in computer science and knowledge representation is the integration
of conceptual frameworks for continuous and discrete change, as exemplified
by the theory of differential equati... / in computer science and knowledge representation is the integration of
2948.8 Lp, A Logic for Representing and Reasoning with Statistical Knowledge - Bacchus (1990)(Correct)
This paper presents a logical formalism for representing and reasoning with statistical knowledge.
One of the key features of the formalism is its ability to deal with qualitative statistical
informat... / Probability Logic Knowledge Representation Statistical Knowledge. br probabilities for general knowledge representation. Perhaps this is also
2935.0 Probabilistic Hill-Climbing: Theory and Applications - Greiner (1992)(Correct)
Many learning systems search through a space
of possible performance elements, seeking an element
with high expected utility. As the task
of finding the globally optimal element is usually
intractable... / tradeoff problem from knowledge representation. Appears in the br extension problem in knowledge representation Rei HM Mor and
2926.4 Managing Complex Objects in Peirce - Ellis, Levinson, Robinson (1994)(Correct)
The Peirce project (named after Charles Sanders Peirce) is an international collaborative
project aiming to construct a freely available conceptual graphs workbench to support
research in the conceptu... / in Brachman Many knowledge representation systems have been built br of terminological knowledge representations and subsumption may seem
2895.2 Multilingual Generation: The Role of Telicity in Lexical Choice and.. - Dorr, Olsen (1996)(Correct)
Multilingual generation in machine translation (MT) requires a knowledge
organization that facilitates the task of lexical choice, i.e., selection of lexical
units to be used in the generation of a ... / precisely where the Knowledge Representation KR component may br point into a deeper knowledge representation KR level where
2879.9 Issues of Semantics in a Semantic-Network Representation of Belief - Hill (1994)(Correct)
Knowledge representation and reasoning systems that are used for cognitive modeling must
capture mental intensions, i.e., senses of linguistic or other semantic constructions, as opposed to
(or, rathe... / ii Abstract Knowledge representation and reasoning systems br . Knowledge Representation and Reasoning SNePS
2875.4 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
2858.6 Abduction and Learning - Dimopoulos, Kakas (1996)(Correct)
In this paper we study the problem of of integrating abduction and learning as they appear in Artificial Intelligence. A general comparison of abduction and induction as separate inferences and fiel... / as a form of reasoning for knowledge representation. Abduction thus allows br to adopt. Therefore in a knowledge representation framework where abduction
2858.1 The Next Big Thing: Position Statements - Singh, Bobrow, al.(Correct)
This panel is a celebration of artificial intelligence
(AI). Basing its claims to interest on the
past accomplishments of AI, it highlights some
of the new exciting concepts and technologies
that comp... / by Kitano and Knowledge Representation by Reiter. The br community. Reiter Knowledge Representation AI practitioners tend
2850.0 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
2847.5 A Semantics for Model-Based Spatial Reasoning - Glasgow, Malton (1994)(Correct)
Model-based reasoning involves proving the truth of a proposition by computation
in the semantic domain. In contrast, rule-based reasoning is proving truth by means
of formal manipulation of formulas.... / reasoning with models. A knowledge representation scheme is presented in br involves the study of AI knowledge representation and inferencing
2843.4 The Dynamics of Default Reasoning - van Linder, van der Hoek, Meyer (1994)(Correct)
In this paper we look at default reasoning from a dynamic, agent-oriented, point of view. Using the KARO-architecture that we previously defined ([15, 16, 24, 25]), we introduce actions that model the... / Reasoning about Action Knowledge Representation Nonmonotonic Reasoning. br on Principles of Knowledge Representation and Reasoning pages
2843.2 Co-Learning in Differential Games - John W. Sheppard(Correct)
Game playing has been a popular problem area for research in artificial
intelligence and machine learning for many years. In almost every study of
game playing and machine learning, the focus has been... / classification and knowledge representation. Initially research in
2830.7 Learning with Feature Partitions - Izzet Irin(Correct)
This report presents a new methodology of learning from examples, based on feature
partitioning
1
. Classification by Feature Partitioning (CFP) is a particular implementation
of this technique, whi... / data an adequate knowledge representation scheme having low br correcting and refining knowledge representations. There are several
2825.6 Transforming Prioritized Defaults and Specificity into Parallel.. - Grosof (1995)(Correct)
and Summary
We show how to transformany set of prioritized propositional
defaults into an equivalent set of parallel (i.e., unprioritized)
defaults, in circumscription. We give an algorithm to implem... / in use even before the knowledge representation KR field of br The history of rule-based knowledge representation demonstrates that even
2825.1 An Investigation of Hybrid Systems for Reasoning in Noisy Domains - Melvin (1995)(Correct)
This thesis discusses aspects of design, implementation and theory of expert systems,
which have been constructed in a novel way using techniques derived from
several existing areas of Artificial Inte... / rule-based methods for knowledge representation with others taken from br A. Knowledge Representation
2813.0 Learning an Optimally Accurate Representation System - Greiner, Schuurmans (1994)(Correct)
A default theory can sanction different, mutually incompatible,
answers to certain queries. We can identify each such theory with
a set of related credulous theories, each of which produces but a si... / extension problem in the knowledge representation community and br Patil. Two theses of knowledge representation Language restrictions
2811.7 On the Semantics of a Semantic Network - Analyti, Spyratos, al. (1998)(Correct)
We elaborate on the semantics of an enhanced object-oriented semantic network, where multiple
instantiation, multiple specialization, and meta-classes are supported for both kinds of objects:
entities... / concept in the area of knowledge representation. However it usually br the structural part of the knowledge representation language Telos
2790.9 Individual Learning of Coordination Knowledge - Sen, Sekaran (1998)(Correct)
Social agents, both human and computational, inhabiting a world containing
multiple active agents, need to coordinate their activities. This is
because agents share resources, and without proper coord... / in crucial areas like knowledge representation planning learning
2785.5 Efficient Algorithms for Qualitative Reasoning about Time - Gerevini, Schubert (1995)(Correct)
Reasoning about temporal information is an important task in many
areas of Artificial Intelligence. In this paper we address the problem of scalability
in temporal reasoning by providing a collection ... / on Principles of Knowledge Representation and Reasoning KR br In Principles of Knowledge Representation and Reasoning
2773.5 An engineering framework for domain knowledge modelling - Compatangelo, Rumolo (1998)(Correct)
ion and representation problems can be classiøed as ontological aspects,
model construction and integration problems as methodological aspects, deduction and
support problems as operational aspects. T... / logics as a unifying knowledge representation. Methodologically it br abstractions knowledge representation and formal semantics in
2743.5 Model Instantiation for Query Driven Simulation in Active KDL - John Miller (1990)(Correct)
The focus of this paper is on how Active KDL can be used to provide a very powerful simulation support environment.
Active KDL (Knowledge/Data Language) is an object-oriented database programming lang... / Kers Ship with knowledge representation and knowledge base system br Ship with knowledge representation and knowledge base system
2724.9 Foundations of Knowledge Representation and Reasoning - Lakemeyer, Nebel (1994)(Correct)
this paper is not by itself a paper on computational
complexity analysis of commonsense reasoning, it makes use of computational
complexity results [ Gottlob, 1992 ] that show that the three main form... / Foundations of Knowledge Representation and Reasoning A Guide br eds.Foundations of Knowledge Representation and Reasoning volume
2712.1 Possibilistic logic: complexity and algorithms - Lang (1997)(Correct)
Possibilistic logic is a logic for reasoning with uncertain and partially inconsistent
knowledge bases. Its standard version consists in ranking propositional formulas according
to their certainty or ... / second from a knowledge representation point of view the br like many problems in knowledge representation including most
2693.3 Reasoning about actual and hypothetical occurances of concurrent and.. - Baral, Gelfond, Watson (1995)(Correct)
We propose extension L 2 of the action description language L 1 that can express
both actual and hypothetical situations, concurrent execution of actions, observations
of the truth values of fluents i... / of the central problems of knowledge representation. Recently there have br Logic programming and knowledge representation. Journal of Logic
2687.5 Limits to Knowledge Level-B Modeling (and KADS) - Tim Menzies (1995)(Correct)
Despite the current enthusiasm for knowledge level-B modeling in general and KADS
in particular, we find there exists little empirical proof of the utility of this approach. In
this paper, we will rev... / phrase While some knowledge representation theorists still make br claims that their knowledge representation theory has some
2671.9 Recurrent Neural Networks Learn Deterministic Representations of.. - Omlin, Giles(Correct)
The paradigm of deterministic finite-state automata (DFAs) and their corresponding regular languages
have been shown to be very useful for addressing fundamental issues in recurrent neural networks.
T... / been addressed include knowledge representation extraction and br C. Giles Equivalence in knowledge representation Automata recurrent
2671.5 Neural Knowledge Processing in Expert Systems - Síma, Cervenka(Correct)
The knowledge base in expert systems usually contains different types of information which can be
classified as explicit and implicit with respect to its representation. The explicit representation is... / hand the neural implicit knowledge representation loses the capability to br of explicit and implicit knowledge representation in expert systems are
2619.9 Knowledge Acquisition Tools Based On Personal Construct Psychology - Gaines, Shaw (1993)(Correct)
Knowledge acquisition research supports the generation of knowledge-based systems
through the development of principles, techniques, methodologies and tools. What differentiates
knowledge-based syst... / logics for formal knowledge representation developed in artificial br it emphasizes the use of knowledge representation schema as the primary
2619.8 Cooperative Transportation Scheduling: an Application Domain for DAI - Fischer, Müller, Pischel (1995)(Correct)
A multiagent approach to designing the transportation domain is presented.
The Mars system is described which models cooperative order scheduling within
a society of shipping companies. We argue why D... / level provides the basic knowledge representation formalism general br Inference Mechanisms Knowledge Representation Formalism InteRRaP
2612.8 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
2606.1 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
2600.8 Equivalence in Knowledge Representation: Automata, Recurrent Neural.. - Omlin, Giles, Thornber (1998)(Correct)
Neuro-fuzzy systems - the combination of artificial neural networks with fuzzy logic - are becoming
increasingly popular. However, neuro-fuzzy systems need to be extended for applications which requir... / Equivalence in Knowledge Representation Automata Recurrent br correctly predicted the knowledge representation of trained networks. In
2588.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
2580.9 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
2575.5 An historical overview of natural language processing systems that.. - Collier (1994)(Correct)
A fundamental issue in natural language processing is the prerequisite
of an enormous quantity of preprogrammed knowledge
concerning both the language and the domain under
examination. Manual acqui... / knowledge acquisition knowledge representation. page . br Processing a powerful knowledge representation is necessary and an
2563.7 Complexity Results for First-Order Theories of Temporal Constraints - Koubarakis (1994)(Correct)
We study the complexity of quantifier elimination
and decision in first-order theories of
temporal constraints. With the exception of
Ladkin, AI researchers have largely ignored
this problem. We consi... / on Principles of Knowledge Representation and Reasoning pages br . Special Volume on Knowledge Representation. DP Rina Dechter and
2562.3 A Review of Networked Multi-User Virtual Environments - Matijasevic (1997)(Correct)
Maturing and synergy of virtual reality and networking technologies have provided a basis
for virtual environments distributed over the communication network. Such systems may be
utilized to enable mu... / modeling and simulation knowledge representation virtual world objects
2560.0 A Geographic Knowledge Representation System for Multimedia.. - Chen, Smith, Larsgaard, Hill, Ramsey(Correct)
Digital libraries serving multimedia information that may be accessed in terms of geographic
content and relationships are creating special challenges and opportunities for networked information
syste... / A Geographic Knowledge Representation System for Multimedia br we define a geographic knowledge representation system GKRS in terms
2551.5 Logic Programming and Reasoning with Incomplete Information - Gelfond (1994)(Correct)
The purpose of this paper is to expand the syntax and semantics
of logic programs and disjunctive databases to allow for the correct
representation of incomplete information in the presence of multipl... / a powerful tool for knowledge representation. Its main nonmonotonic br of this assumption for knowledge representation. We will start with the