DE eng

Search in the Catalogues and Directories

Hits 1 – 14 of 14

1
Natural language semantics using probabilistic logic
BASE
Show details
2
The Theory of Correlation Formulas and Their Application to Discourse Coherence
Michael, Julian. - 2015
BASE
Show details
3
SAT-based answer set programming
Lierler, Yuliya. - 2010
BASE
Show details
4
A modular language for describing actions
Ren, Wanwan. - 2010
BASE
Show details
5
Expressiveness of answer set languages
BASE
Show details
6
Temporal Phylogenetic Networks and Logic Programming ...
BASE
Show details
7
Foundations of logic programming
In: Principles of knowledge representation (Stanford, CA, 1996), p. 69-128
MPI für Psycholinguistik
Show details
8
Preface to the Special Issue on Commonsense and Nonmonotonic Reasoning
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 14 (1995) 1, 1-2
OLC Linguistik
Show details
9
Preface to the Special Issue on Commonsense and Nonmonotonic Reasoning
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 15 (1995) 1, V
OLC Linguistik
Show details
10
Formalizing common sense : papers by John McCarthy
Lifschitz, Vladimir; MacCarthy, John. - Norwood, NJ : Ablex, 1990
Leibniz-Zentrum Allgemeine Sprachwissenschaft
Show details
11
Philosophical logic and artificial intelligence
Thomason, Richmond H. (Mitarb.); Fagin, Ronald (Mitarb.); Halpern, Joseph Y. (Mitarb.)...
In: Journal of philosophical logic. - Dordrecht ; Heidelberg [u.a.] : Springer Science + Business Media 17 (1988) 4, 321-474
BLLDB
Show details
12
Readings in nonmonotonic reasoning
Minker, Jack (Mitarb.); Ginsberg, Matthew L. (Hrsg.); Israel, David I. (Mitarb.). - Los Altos, Cal. : Morgan Kaufmann, 1987
BLLDB
UB Frankfurt Linguistik
Show details
13
Formal theories of action
In: The frame problem in artificial intelligence (Los Altos, Calif., 1987), P. 35-58
MPI für Psycholinguistik
Show details
14
On the satisfiability of circumscription
In: Artificial intelligence. - Amsterdam : Elsevier 28 (1986) 1, 17-27
BLLDB
Show details

Catalogues
1
0
2
0
0
0
1
Bibliographies
3
0
0
0
0
0
0
0
2
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
6
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern