See this document in CiteSeerX!

An Operational Semantics for Knowledge Bases (1994)  (Make Corrections)  (1 citation)
Ronald Fagin, Joseph Y. Halpern, et al.
National Conference on Artificial Intelligence



  Home/Search   Context   Related

 
View or download:
rice.edu/~vardi/papers/aaai94.ps.gz
Cached:  PDF   PS.gz  PS  Image  Update  Help

From:  rice.edu/~vardi/papers/index (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: The standard approach in AI to knowledge representation is to represent an agent's knowledge symbolically as a collection of formulas, which we can view as a knowledge base. An agent is then said to know a fact if it is provable from the formulas in his knowledge base. Halpern and Vardi advocated a model-theoretic approach to knowledge representation. In this approach, the key step is representing the agent's knowledge using an appropriate semantic model. Here, we model knowledge bases... (Update)

Similar documents based on text:   More   All
0.5:   Using Counterfactuals in Knowledge-Based Programming - Halpern, Moses (1998)   (Correct)
0.5:   Knowledge-Based Programs - Fagin, Halpern, Moses, al. (1995)   (Correct)
0.5:   A Note on Unawareness - Halpern (1999)   (Correct)

BibTeX entry:   (Update)

R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. An operational semantics for knowledge bases. In Proc. National Conference on Artificial Intelligence (AAAI '94), pages 1142--1147, 1994. http://citeseer.ist.psu.edu/fagin94operational.html   More

@inproceedings{ fagin94operational,
    author = "Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi",
    title = "An Operational Semantics for Knowledge Bases",
    booktitle = "National Conference on Artificial Intelligence",
    pages = "1142-1147",
    year = "1994",
    url = "citeseer.ist.psu.edu/fagin94operational.html" }
Citations (may not include all citations):
8   San Francisco (context) - pp - 1993

Documents on the same site (http://www.cs.rice.edu/~vardi/papers/index.html):   More
Nontraditional Applications of Automata Theory - Vardi (1994)   (Correct)
Synthesis with Incomplete Information - Kupferman, Vardi (1997)   (Correct)
A New Heuristic for Bad Cycle Detection Using BDDs - Hardin, Kurshan, Shukla, Vardi (1997)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC