| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Iluju Kiringa, Raymond Reiter |
A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions.  |
DBPL  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Reiter |
On knowledge-based programming with sensing in the situation calculus. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
dynamic closed-world assumption, sensing and knowledge, situation calculus programming languages, theorem-proving, situation calculus |
| 1 | Craig Boutilier, Raymond Reiter, Bob Price |
Symbolic Dynamic Programming for First-Order MDPs. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Raymond Reiter |
Narratives as Programs. |
KR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Alberto Finzi, Fiora Pirri, Raymond Reiter |
Open World Planning in the Situation Calculus. |
AAAI/IAAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Craig Boutilier, Raymond Reiter, Mikhail Soutchanski, Sebastian Thrun |
Decision-Theoretic, High-Level Agent Programming in the Situation Calculus. |
AAAI/IAAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Fiora Pirri, Raymond Reiter |
Some Contributions to the Metatheory of the Situation Calculus. |
J. ACM |
1999 |
DBLP DOI BibTeX RDF |
programming languages for the situation calculus, theorem-proving, regression, situation calculus |
| 1 | Hector J. Levesque, Fiora Pirri, Raymond Reiter |
Foundations for the Situation Calculus. |
Electron. Trans. Artif. Intell. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Kari Autio, Raymond Reiter |
Structural Abstraction in Model-Based Diagnosis. |
ECAI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski |
Execution Monitoring of High-Level Robot Programs. |
KR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Raymond Reiter |
Sequential, Temporal GOLOG. |
KR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin, Raymond Reiter |
Rules as Actions: A Situation Calculus Semantics for Logic Programs. |
J. Log. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl |
GOLOG: A Logic Programming Language for Dynamic Domains. |
J. Log. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin, Raymond Reiter |
How to Progress a Database. |
Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Reiter, Zheng Yuhua |
Scheduling in the Situation Calculus: A Case Study. |
Ann. Math. Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth Tam, J. Lloyd, Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Michael R. M. Jenkin |
Controlling Autonomous Robots with GOLOG. |
Australian Joint Conference on Artificial Intelligence |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Reiter |
Natural Actions, Concurrency and Continuous Time in the Situation Calculus. |
KR |
1996 |
DBLP BibTeX RDF |
|
| 1 | Alexander Borgida, John Mylopoulos, Raymond Reiter |
On the Frame Problem in Procedure Specifications. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
frame assertion, semantics of specification languages, specifications, languages, inheritance, Formal, proof obligations |
| 1 | Raymond Reiter |
On Specifying Database Updates. |
J. Log. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Pinto, Raymond Reiter |
Reasoning About Time in the Situation Calculus. |
Ann. Math. Artif. Intell. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin, Raymond Reiter |
How to Progress a Database II: The STRIPS Connection. |
IJCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard B. Scherl |
Foundations of a Logical Approach to Agent Programming. |
ATAL |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin, Raymond Reiter |
State Constraints Revisited. |
J. Log. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Leopoldo E. Bertossi, Raymond Reiter |
Circumscription and Generic Mathematical Objects. |
Fundam. Inform. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Reiter |
On Specifying Database Updates (Invited Lecture). |
DAISD |
1994 |
DBLP BibTeX RDF |
|
| 1 | Leopoldo E. Bertossi, Raymond Reiter |
On the Concept of Generic Object: A Nonmonotonic Reasoning Approach and Examples. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin, Raymond Reiter |
How to Progress a Database (and Why) I. Logical Foundations. |
KR |
1994 |
DBLP BibTeX RDF |
|
| 1 | Raymond Reiter |
Proving Properties of States in the Situation Calculus. |
Artif. Intell. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Pinto, Raymond Reiter |
Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. |
ICLP |
1993 |
DBLP BibTeX RDF |
|
| 1 | Alexander Borgida, John Mylopoulos, Raymond Reiter |
"...And Nothing Else Changes": The Frame Problem in Procedure Specifications. |
ICSE |
1993 |
DBLP BibTeX RDF |
semantics of specification languages, formal specifications, inheritance, formal specification languages, proof obligations |
| 1 | Raymond Reiter |
What Should a Database Know? |
J. Log. Program. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan de Kleer, Alan K. Mackworth, Raymond Reiter |
Characterizing Diagnoses and Systems. |
Artif. Intell. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Reiter |
Formalizing Database Evolution in the Situation Calculus. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Raymond Reiter |
On Formalizing Database Updates: Preliminary Report. |
EDBT |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Reiter |
Twelve Years of Nonmonotonic Reasoning Research: Where (and What) Is the Beef. |
KR |
1992 |
DBLP BibTeX RDF |
|
| 1 | Gösta Grahne, Alberto O. Mendelzon, Raymond Reiter |
On The Semantics of Belief Revision Systems. |
TARK |
1992 |
DBLP BibTeX RDF |
|
| 1 | Ronald J. Brachman, Hector J. Levesque, Raymond Reiter |
Introduction to the Special Volume on Knowledge Representation. |
Artif. Intell. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | John Mylopoulos, Raymond Reiter (eds.) |
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991 |
IJCAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Johan de Kleer, Alan K. Mackworth, Raymond Reiter |
Characterizing Diagnoses. |
Expert Systems in Engineering |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Reiter |
What Should a Database Know? |
ICLP |
1990 |
DBLP BibTeX RDF |
|
| 1 | Johan de Kleer, Alan K. Mackworth, Raymond Reiter |
Characterizing Diagnoses. |
AAAI |
1990 |
DBLP BibTeX RDF |
|
| 1 | Raymond Reiter, Alan K. Mackworth |
A Logical Framework for Depiction and Image Interpretation. |
Artif. Intell. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald J. Brachman, Hector J. Levesque, Raymond Reiter (eds.) |
Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989. |
KR |
1989 |
DBLP BibTeX RDF |
|
| 1 | Raymond Reiter |
Integrity Constraints for Knowledge Bases. |
DS-3 |
1988 |
DBLP BibTeX RDF |
|
| 1 | Raymond Reiter |
On Integrity Constraints. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Raymond Reiter |
What Should A Database Know? |
PODS |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Reiter |
A Theory of Diagnosis from First Principles. |
Artif. Intell. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Reiter, Johan de Kleer |
Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report. |
AAAI |
1987 |
DBLP BibTeX RDF |
|
| 1 | Raymond Reiter |
A sound and sometimes complete query evaluation algorithm for relational databases with null values. |
J. ACM |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Reiter |
Foundations for Knowledge-Based Systems (Invited Paper). |
IFIP Congress |
1986 |
DBLP BibTeX RDF |
|
| 1 | David W. Etherington, Robert E. Mercer, Raymond Reiter |
On the adequacy of predicate circumscription for closed-world reasoning. |
Computational Intelligence |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | David W. Etherington, Robert E. Mercer, Raymond Reiter |
On the Adequacy of Predicate Circumscription for Closed-World Reasoning. |
NMR |
1984 |
DBLP BibTeX RDF |
|
| 1 | Raymond Reiter, Hervé Gallaire, Jonathan J. King, John Mylopoulos, Bonnie L. Webber |
A Panel on AI and Databases. |
IJCAI |
1983 |
DBLP BibTeX RDF |
|
| 1 | David W. Etherington, Raymond Reiter |
On Inheritance Hierarchies With Exceptions. |
AAAI |
1983 |
DBLP BibTeX RDF |
|
| 1 | Raymond Reiter |
Towards a Logical Reconstruction of Relational Database Theory. |
On Conceptual Modelling (Intervale) |
1982 |
DBLP BibTeX RDF |
|
| 1 | Raymond Reiter |
Circumscription Implies Predicate Completion (Sometimes). |
AAAI |
1982 |
DBLP BibTeX RDF |
|
| 1 | Raymond Reiter, Giovanni Criscuolo |
On Interacting Defaults. |
IJCAI |
1981 |
DBLP BibTeX RDF |
|
| 1 | Raymond Reiter |
Equality and Domain Closure in First-Order Databases. |
J. ACM |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Reiter |
A Logic for Default Reasoning. |
Artif. Intell. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | L. Peter Deutsch, Jaime G. Carbonell, Charles Rich, Raymond Reiter, Hartmut Wedekind, Patrick J. Hayes |
Presentation (discussion). |
Workshop on Data Abstraction, Databases and Conceptual Modelling |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Reiter |
Data Bases: A Logical Perspective. |
Workshop on Data Abstraction, Databases and Conceptual Modelling |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Reiter |
On the Integrity of Typed First Order Data Bases. |
Advances in Data Base Theory |
1979 |
DBLP BibTeX RDF |
|
| 1 | Raymond Reiter |
Eugene Charniak and Yorick Wilks, Eds., Computational Semantic.s. |
Artif. Intell. |
1977 |
DBLP DOI BibTeX RDF |
|
| 1 | B. Nash-Webber, Raymond Reiter |
Anaphora and Logical Form: On Formal Meaning Representations for Natural Language. |
IJCAI |
1977 |
DBLP BibTeX RDF |
|
| 1 | Raymond Reiter |
Deductive Question-Answering on Relational Data Bases. |
Logic and Data Bases |
1977 |
DBLP BibTeX RDF |
|
| 1 | Raymond Reiter |
On Closed World Data Bases. |
Logic and Data Bases |
1977 |
DBLP BibTeX RDF |
|
| 1 | Raymond Reiter |
A Semantically Guided Deductive System for Automatic Theorem Proving. |
IEEE Trans. Computers |
1976 |
DBLP DOI BibTeX RDF |
semantics, theorem proving, Natural deduction |
| 1 | Raymond Reiter |
On self-modifying programs. |
Inf. Sci. |
1974 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Reiter |
A Semantically Guided Deductive System for Automatic Theorem-Proving. |
IJCAI |
1973 |
DBLP BibTeX RDF |
|
| 1 | Eliana Minicozzi, Raymond Reiter |
A Note on Linear Resolution Strategies in Consequence-Finding. |
Artif. Intell. |
1972 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Reiter |
Two Results on Ordering for Resolution with Merging and Linear Format. |
J. ACM |
1971 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Reiter |
The Predicate Elimination Strategy in Theorem Proving |
STOC |
1970 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Reiter |
Scheduling Parallel Computations. |
J. ACM |
1968 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")