>> Amazon.co.jp
このページのQRコード

Principles of knowledge representation and reasoning : proceedings of the fourth international conference (KR'94), Bonn, Germany, May 24-27, 1994

種類:
図書
責任表示:
edited by Jon Doyle, Erik Sandewall, Pietro Torasso
出版情報:
San Francisco, CA : Morgan Kaufmann Publishers, c1994
著者名:
シリーズ名:
The Morgan Kaufmann series in representation and reasoning <BA05138585>
ISBN:
9781558603288 [155860328X]  CiNii Books  Calil
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 KI-94 : advances in artificial intelligence : 18th German Annual Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994 : …

German Conference on Artificial Intelligence, Nebel, Bernhard, 1956-, Dreschler-Fischer, Leonie

Springer-Verlag
7 図書 Algorithms, concurrency and knowledge : 1995 Asian Computing Science Conference, ACSC '95, Pathumthani, Thailand, December 11-13, 1995 : proceedings

Asian Computing Science Conference, Kanchanasut, Kanchana, 1951-, Lévy, Jean-Jacques, 1947-

Springer
2 図書 KI-95 : advances in artificial intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 : proceedings

German Conference on Artificial Intelligence, Wachsmuth, Ipke, Rollinger, Claus-Rainer, 1950-, Brauer, Wilfried, 1937-

Springer-Verlag
8 図書 Symbolic and quantitative approaches to reasoning and uncertainty : European Conference, ECSQARU '95, Fribourg, Switzerland, July 3-5, 1995 : proceedings

European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, Froidevaux, Christine, Kohlas, &hellip;

Springer
3 図書 Logic programming and nonmonotonic reasoning : Third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings

LPNMR, Marek, Wiktor, Nerode, Anil, 1932-, Truszczyński, Mirosław

Springer Verlag
9 図書 Non-monotonic reasoning : 2nd International Workshop, Grassau, FRG, June 13-15, 1988 : proceedings

Reinfrank, M. (Michael), 1958-, International Workshop on Non-Monotonic Reasoning

Springer-Verlag
4 図書 Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : …

TABLEAUX, Baumgartner, Peter, Hähnle, Reiner, Posegga, Joachim

Springer Verlag
10 図書 Methodologies for intelligent systems, 4 : proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, …

International Symposium on Methodologies for Intelligent Systems, Raś, Zbigniew, University of North Carolina at &hellip;

North-Holland
5 図書 Contemporary knowledge engineering and cognition : first joint workshop, Kaiserslautern, Germany, February 21-22, 1991 : proceedings

Schmalhofer, F. (Franz), 1952-, Strube, Gerhard, Wetter, Thomas, 1953-

Springer-Verlag
11 図書 Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings

TABLEAUX, Miglioli, Pierangelo

Springer
6 図書 Logic programming and non-monotonic reasoning : proceedings of the first international workshop

Nerode, Anil, 1932-, Marek, Wiktor, Subrahmanian, V. S., Association for Logic Programming

MIT Press
12 図書 Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings

International Conference on Temporal Logic, Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen

Springer-Verlag