Search ResultsElectronic Resources
6 Results Found
000000DEFAULT
Select a list
Make this your default list.
The following items were successfully added.
There was an error while adding the following items. Please try again.
by
Gage, John T., 1947-
Format:
Excerpt:
Language and logic.
by
Boylan, Michael, 1952-
Format:
Excerpt:
Language and logic.
by
Brandom, Robert.
Format:
Excerpt:
Language and logic.
by
Brachman, Ronald J., 1949-
ScienceDirect http://www.sciencedirect.com/science/book/9781558609327
Format:
Excerpt:
The language of first-order logic -- Expressing knowledge -- Resolution -- Reasoning with horn
by
Fisher, Michael, 1962-
ScienceDirect http://www.sciencedirect.com/science/book/9780444514936
ScienceDirect http://www.sciencedirect.com/science/publication?issn=15746526&volume=1
ScienceDirect https://www.sciencedirect.com/science/publication?issn=15746526&volume=1
ScienceDirect http://www.sciencedirect.com/science/bookseries/15746526/1
ScienceDirect http://www.sciencedirect.com/science/publication?issn=15746526&volume=1
ScienceDirect https://www.sciencedirect.com/science/publication?issn=15746526&volume=1
ScienceDirect http://www.sciencedirect.com/science/bookseries/15746526/1
Format:
Excerpt:
Belleghem -- Temporal description logics / Alessandro Artale and Enrico Franconi -- Logic programming and
by
International Conference on Principles of Knowledge Representation and Reasoning (4th : 1994 : Bonn, Germany)
ScienceDirect https://www.sciencedirect.com/science/book/9781483214528
Format:
Excerpt:
Description Logic of Time and Action; Abstract; 1 INTRODUCTION; 2 THE TEMPORAL LANGUAGE; 3 ACTIONS AND PLANS