>> Google Books

Reasoning with logic programming

フォーマット:
図書
責任表示:
José Júlio Alferes, Luís Moniz Pereira
言語:
英語
出版情報:
Berlin ; Tokyo : Springer, c1996
形態:
xx, 326 p. ; 24 cm
著者名:
シリーズ名:
Lecture notes in computer science ; 1111 . Lecture notes in artificial intelligence <BA00009279>
書誌ID:
BA28155390
ISBN:
9783540614883 [3540614885]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logics in artificial intelligence : European Workshop, JELIA '96, Évora, Portugal, September 30 -- October 3, 1996 : proceedings

JELIA, Alferes, José Júlio, Pereira, Luís Moniz, Orlowska, Ewa

Springer
7 図書 Logic programming

Clark, K. L. (Keith L.), Tärnlund, S.-A. (Sten-Åke), International Workshop on Logic Programming

Academic Press
2 図書 Logic programming and non-monotonic reasoning : proceedings of the second international workshop

Pereira, Luís Moniz, Nerode, Anil, 1932-

MIT Press
8 図書 Meta-logics and logic programming

Apt, Krzysztof R., 1949-, Turini, Franco, 1949-

MIT Press
3 図書 Logic programming and knowledge representation : third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers

International Workshop LPKR, Dix, J. (Jürgen), 1961-, Pereira, Luís Moniz, Przymusinski, Teodor C., 1947-

Springer
9 図書 From logic to logic programming

Doets, Kees

MIT Press
4 図書 Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers

NMELP, Dix, J. (Jürgen), 1961-, Pereira, Luís Moniz, Przymusinski, Teodor C., 1947-

Springer
10 図書 Nonmonotonic logic : context-dependent reasoning

Marek, Wiktor, Truszczyński, Mirosław

Springer
5 図書 Justification logic : reasoning with reasons

Artemov, S. N., Fitting, Melvin Chris

Cambridge University Press
11 図書 Meta-programming in logic programming

Abramson, Harvey, Rogers, M. H., 1930-

MIT Press
6 図書 Logic programming

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press
12 図書 Non-monotonic extensions of logic programming : ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers

International Conference on Logic Programming, Pereira, Luís Moniz, Przymusinski, Teodor C., 1947-, Gupta, G., 1963-, &hellip;

Springer-Verlag