Verification of knowledge bases based on containment checking

&
Artificial Intelligence 101 (1-2):227-250 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(98)00021-6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Sat-based verification of security protocols via translation to networks of automata.Mirosław Kurkowski, Wojciech Penczek & Andrzej Zbrzezny - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 146--165.
From model checking to equilibrium checking: Reactive modules for rational verification.Julian Gutierrez, Paul Harrenstein & Michael Wooldridge - 2017 - Artificial Intelligence 248 (C):123-157.
Enhancing model checking in verification by AI techniques.Francesco Buccafurri, Thomas Eiter, Georg Gottlob & Nicola Leone - 1999 - Artificial Intelligence 112 (1-2):57-104.
Consistency-based diagnosis of configuration knowledge bases.Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach & Markus Stumptner - 2004 - Artificial Intelligence 152 (2):213-234.
Bounded model checking for knowledge and real time.Alessio Lomuscio, Wojciech Penczek & Bożena Woźna - 2007 - Artificial Intelligence 171 (16-17):1011-1038.
SAT-based explicit LTL f satisfiability checking.Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi & Kristin Y. Rozier - 2020 - Artificial Intelligence 289 (C):103369.
Artificial Intelligence: Its Scope and Limits.James H. Fetzer - 1990 - Kluwer Academic Publishers.
Integration of weighted knowledge bases.Jinxin Lin - 1996 - Artificial Intelligence 83 (2):363-378.
A framework for model checking institutions.Francesco Vigano - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 129--145.
Limited reasoning in first-order knowledge bases.Gerhard Lakemeyer - 1994 - Artificial Intelligence 71 (2):213-255.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,483,069)

6 months
4 (#862,849)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

An assumption-based TMS.Johan de Kleer - 1986 - Artificial Intelligence 28 (2):127-162.

Add more references