Hector J. Levesque

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Planning with Loops.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Semantics for a useful fragment of the situation calculus.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

Only-Knowing: Taking It Beyond Autoepistemic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

On the Semantics of Deliberation in Indigolog - from Theory to Implementation.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2004

Introduction.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2004

A Logic of Limited Belief for Reasoning with Disjunctive Information.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Situations, Si! Situation Terms, No!

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

On Ability to Autonomously Execute Agent Programs with Sensing.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Knowledge Representation and Reasoning.

[BibT_eX]

[DOI]

Elsevier, ISBN: 978-1-55860-932-7, 2004

2003

Knowledge, action, and the frame problem.

[BibT_eX]

[DOI]

Richard B. Scherl

Artif. Intell., 2003

A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

2002

In Memory of Ray Reiter (1939-2002).

[BibT_eX]

[DOI]

Fiora Pirri

Geoffrey E. Hinton

AI Mag., 2002

Knowledge Equivalence in Combined Action Theories.

[BibT_eX]

Ronald P. A. Petrick

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

The cognitive agents specification language and verification environment for multiagent systems.

[BibT_eX]

[DOI]

Steven Shapiro

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

Incremental execution of guarded theories.

[BibT_eX]

[DOI]

Sebastian Sardiña

ACM Trans. Comput. Log., 2001

2000

Ability and Knowing How in the Situation Calculus.

[BibT_eX]

[DOI]

Stud Logica, 2000

ConGolog, a concurrent programming language based on the situation calculus.

[BibT_eX]

[DOI]

Artif. Intell., 2000

The Adaptive Agent Architecture: Achieving Fault-Tolerance Using Persistent Broker Teams.

[BibT_eX]

[DOI]

Sanjeev Kumar

Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

An Embedding of ConGolog in 3APL.

[BibT_eX]

Koen V. Hindriks

Proceedings of the ECAI 2000, 2000

Querying AOL Knowledge Bases.

[BibT_eX]

Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

Semantics of Agent Communication Languages for Group Interaction.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

The logic of knowledge bases.

[BibT_eX]

[DOI]

MIT Press, ISBN: 978-0-262-12232-0, 2000

1999

Reasoning about Noisy Sensors and Effectors in the Situation Calculus.

[BibT_eX]

[DOI]

Fahiem Bacchus

Joseph Y. Halpern

Artif. Intell., 1999

Query Evaluation and Progression in AOL Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Projection Using Regression and Sensors.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998

Foundations for the Situation Calculus.

[BibT_eX]

[DOI]

Fiora Pirri

Raymond Reiter

Electron. Trans. Artif. Intell., 1998

What Robots Can Do: Robot Programs and Effective Achievability.

[BibT_eX]

[DOI]

Fangzhen Lin

Artif. Intell., 1998

What Robots Can Do.

[BibT_eX]

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases.

[BibT_eX]

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

AOL: A logic of Acting, Sensing, Knowing, and Only Knowing.

[BibT_eX]

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

1997

GOLOG: A Logic Programming Language for Dynamic Domains.

[BibT_eX]

[DOI]

J. Log. Program., 1997

Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Controlling Autonomous Robots with <i>GOLOG</i>.

[BibT_eX]

[DOI]

Proceedings of the Advanced Topics in Artificial Intelligence, 1997

Specifying Communicative Multi-Agent Systems (Invited Paper).

[BibT_eX]

[DOI]

Steven Shapiro

Proceedings of the Agents and Multi-Agent Systems Formalisms, 1997

An Experiment in Using Golog to Build a Personal Banking Assistant (Extended Abstract).

[BibT_eX]

[DOI]

Shane J. Ruman

Proceedings of the First International Conference on Autonomous Agents, 1997

1996

Undirected Behavior Without Unbounded Search.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Generating Hard Satisfiability Problems.

[BibT_eX]

[DOI]

Artif. Intell., 1996

Support Set Selection for Abductive and Default Reasoning.

[BibT_eX]

[DOI]

Artif. Intell., 1996

Some Pitfalls for Experimenters with Random SAT.

[BibT_eX]

[DOI]

Artif. Intell., 1996

An Experiment in Using Golog to Build a Personal Banking Assistant.

[BibT_eX]

[DOI]

Shane J. Ruman

Proceedings of the Intelligent Agent Systems, 1996

What Is Planning in the Presence of Sensing?

[BibT_eX]

[DOI]

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

Undirected Behaviour Without Unbounded Search.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1995

Indexical Knowledge and Robot Action - A Logical Account.

[BibT_eX]

[DOI]

Artif. Intell., 1995

Reasoning about Noisy Sensors in the Situation Calculus.

[BibT_eX]

[DOI]

Fahiem Bacchus

Joseph Y. Halpern

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Communicative Actions for Artificial Agents.

[BibT_eX]

Proceedings of the First International Conference on Multiagent Systems, 1995

Foundations of a Logical Approach to Agent Programming.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents II, 1995

1994

Preliminaries to a collaborative model of dialogue.

[BibT_eX]

[DOI]

Speech Communication, 1994

Knowledge, Action, and Ability in the Situation Calculus.

[BibT_eX]

Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, 1994

1993

The Complexity of Path-Based Defeasible Inheritance.

[BibT_eX]

[DOI]

Artif. Intell., 1993

The Frame Problem and Knowledge-Producing Actions.

[BibT_eX]

[DOI]

Richard B. Scherl

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992

A New Method for Solving Hard Satisfiability Problems.

[BibT_eX]

[DOI]

Proceedings of the 10th National Conference on Artificial Intelligence, 1992

Hard and Easy Distributions of SAT Problems.

[BibT_eX]

[DOI]

Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991

Introduction to the Special Volume on Knowledge Representation.

[BibT_eX]

[DOI]

Raymond Reiter

Artif. Intell., 1991

Confirmations and Joint Action.

[BibT_eX]

[DOI]

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

Belief and Introspection.

[BibT_eX]

[DOI]

Proceedings of the Artificial and Mathematical Theory of Computation, 1991

The Tractability of Path-Based Inheritance.

[BibT_eX]

[DOI]

Proceedings of the Principles of Semantic Networks, 1991

1990

All I Know: A Study in Autoepistemic Logic.

[BibT_eX]

[DOI]

Artif. Intell., 1990

Intention is Choice with Commitment.

[BibT_eX]

[DOI]

Artif. Intell., 1990

Performatives in a Rationally Based Speech Act Theory.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual Meeting of the Association for Computational Linguistics, 1990

Abductive and Default Reasoning: A Computational Core.

[BibT_eX]

[DOI]

Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

On Acting Together.

[BibT_eX]

[DOI]

José H. T. Nunes

Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

Indexical Knowledge in Robot Plans.

[BibT_eX]

[DOI]

Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990

1989

The Tractability of Path-Based Inheritance.

[BibT_eX]

[DOI]

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

A Knowledge-Level Account of Abduction.

[BibT_eX]

[DOI]

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

1988

Logic and the complexity of reasoning.

[BibT_eX]

[DOI]

J. Philos. Log., 1988

The consistency of syntactical treatments of knowledge.

[BibT_eX]

[DOI]

Jim des Rivières

Comput. Intell., 1988

Panel: Locality vs. Rationality.

[BibT_eX]

Stanley J. Rosenchein

Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1988

Comments on "Knowledge, Representation, and Rational Self-Government".

[BibT_eX]

Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988

A Tractable Knowledge Representation Service with Full Introspection.

[BibT_eX]

Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988

1987

Expressiveness and tractability in knowledge representation and reasoning.

[BibT_eX]

[DOI]

Comput. Intell., 1987

All I Know: An Abridged Report.

[BibT_eX]

[DOI]

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

Intention = Choice + Commitment.

[BibT_eX]

[DOI]

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986

Making Believers out of Computers.

[BibT_eX]

[DOI]

Artif. Intell., 1986

Panel: Objects of Knowledge and Belief: Sentences vs. Propositions?

[BibT_eX]

Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986

Tales from the Far Side of KRYPTON.

[BibT_eX]

Proceedings of the Expert Database Systems, 1986

1985

An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON.

[BibT_eX]

[DOI]

Victoria P. Gilbert

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

Knowledge Level Interfaces to Information Systems.

[BibT_eX]

Proceedings of the On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, 1985

A View Of Knowledge Representation.

[BibT_eX]

Proceedings of the On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, 1985

The Knowledge Level of a KBMS.

[BibT_eX]

Proceedings of the On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, 1985

Speech Acts and Rationality.

[BibT_eX]

[DOI]

Proceedings of the 23rd Annual Meeting of the Association for Computational Linguistics, 1985

1984

Foundations of a Functional Approach to Knowledge Representation.

[BibT_eX]

[DOI]

Artif. Intell., 1984

What Makes a Knowledge Base Knowledgeable? A View of Databases from the Knowledge Level.

[BibT_eX]

Proceedings of the Expert Database Systems, 1984

A Logic of Implicit and Explicit Belief.

[BibT_eX]

[DOI]

Proceedings of the National Conference on Artificial Intelligence. Austin, 1984

The Tractability of Subsumption in Frame-Based Description Languages.

[BibT_eX]

[DOI]

Proceedings of the National Conference on Artificial Intelligence. Austin, 1984

1983

Krypton: A Functional Approach to Knowledge Representation.

[BibT_eX]

[DOI]

Richard Fikes

Computer, 1983

An Overview of Knowledge Representation.

[BibT_eX]

[DOI]

John Mylopoulos

Proceedings of the GWAI-83, 1983

KRYPTON: Integrating Terminology and Assertion.

[BibT_eX]

[DOI]

Richard Fikes

Proceedings of the National Conference on Artificial Intelligence, 1983

1982

The Logic of Incomplete Knowledge Bases.

[BibT_eX]

Proceedings of the On Conceptual Modelling, 1982

Competence in Knowledge Representation.

[BibT_eX]

[DOI]

Proceedings of the National Conference on Artificial Intelligence, 1982

1981

A formal treatment of incomplete knowledge bases.

[BibT_eX]

[DOI]

PhD thesis, 1981

The Interaction with Incomplete Knowledge Bases: A Formal Treatment.

[BibT_eX]

[DOI]

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980

Incompleteness in Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Data Abstraction, 1980

1977

An Overview of a Procedural Approach to Semantic Networks.

[BibT_eX]

[DOI]