Theoretical aspects of reasoning about knowledge : proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California /

Κώδικας QR

Theoretical aspects of reasoning about knowledge : proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California /

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	Conference on the Theoretical Aspects of Reasoning about Knowledge
Άλλοι συγγραφείς:	Benthem, Johan Van
Μορφή:	Sách giấy
Έκδοση:	San Francisco, Calif. : Morgan Kaufmann, c2001.
Σειρά:	The Morgan Kaufmann series in representation and reasoning
Θέματα:	Artificial intelligence > Congresses. Knowledge, Theory of > Congresses. Logic, Symbolic and mathematical > Congresses.
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Παρόμοια τεκμήρια

Advances in artificial intelligence : 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001, Ottawa, Canada, June 7-9, 2001 : proceedings /
Έκδοση: (2001)

Principles of knowledge representation and reasoning : proceedings of the Eighth international conference (KR 2002) /
Έκδοση: (2002)

Paraconsistent Intelligent-Based Systems New Trends in the Applications of Paraconsistency
ανά: Abe, Jair M
Έκδοση: (2015)

Logic and Its Applications: 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
ανά: Banerjee, Mohua, κ.ά.
Έκδοση: (2015)

Engineering of intelligent systems : 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001 : proceedings /
Έκδοση: (2001)

Highlights of Practical Applications of Agents, Multi-Agent Systems, and Sustainability - The PAAMS Collection: International Workshops of PAAMS 2015, Salamanca, Spain, June 3-4, 2015. Proceedings
ανά: Bajo, J, κ.ά.
Έκδοση: (2015)

Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers /
Έκδοση: (2001)

Current Approaches in Applied Artificial Intelligence: 28th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2015, Seoul, South Korea, June 10-12, 2015, Proceedings
ανά: Ali, M, κ.ά.
Έκδοση: (2015)

Proceedings of ELM-2014 Volume 1
ανά: Cao, J, κ.ά.
Έκδοση: (2015)

Proceedings of ELM-2014 Volume 2 Applications
ανά: Cao, J, κ.ά.
Έκδοση: (2015)

Intelligent Systems'2014
ανά: Filev, D, κ.ά.
Έκδοση: (2015)

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /
Έκδοση: (2001)

Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
ανά: Chakraborty, M, κ.ά.
Έκδοση: (2015)

Proceedings of the 3rd International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA) 2014
ανά: Satapathy, S.C, κ.ά.
Έκδοση: (2015)

Artificial Life and Computational Intelligence
ανά: Chalup, Stephan, κ.ά.
Έκδοση: (2015)

Principles of data mining and knowledge discovery : Second European Symposium, PKDD '98, Nantes, France, September 23-26, 1998 : proceedings /
Έκδοση: (1998)

Computational science - ICCS 2001 : international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings /
Έκδοση: (2001)

Advances in Practical Applications of Agents, Multi-Agent Systems, and Sustainability: The PAAMS Collection: 13th International Conference, PAAMS 2015, Salamanca, Spain, June 3-4, 2015, Proceedings
ανά: Demazeau, Y, κ.ά.
Έκδοση: (2015)

Artificial Intelligence and Evolutionary Algorithms in Engineering Systems
ανά: Suresh, L Padma, κ.ά.
Έκδοση: (2015)

Intelligence in the Era of Big Data
ανά: Intan, R, κ.ά.
Έκδοση: (2015)

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
ανά: Lee, Roger
Έκδοση: (2015)

Artificial Intelligence and Evolutionary Algorithms in Engineering Systems
ανά: Suresh, L Padma, κ.ά.
Έκδοση: (2015)

Intelligent Computing, Communication and Devices
ανά: Jain, Lakhmi C, κ.ά.
Έκδοση: (2015)

Intelligent Computing, Communication and Devices
ανά: Jain, Lakhmi C, κ.ά.
Έκδοση: (2015)

Robotic Sailing 2014: Proceedings of the 7th International Robotic Sailing Conference
ανά: Morgan, Fearghal, κ.ά.
Έκδοση: (2015)

Information Systems Design and Intelligent Applications Proceedings of Second International Conference INDIA 2015, Volume 1
ανά: Mandal, J.K, κ.ά.
Έκδοση: (2015)

Information Systems Design and Intelligent Applications Proceedings of Second International Conference INDIA 2015, Volume 2
ανά: Mandal, J.K, κ.ά.
Έκδοση: (2015)

Information Systems Design and Intelligent Applications Proceedings of Second International Conference INDIA 2015, Volume 1
ανά: Mandal, J.K, κ.ά.
Έκδοση: (2015)

Semigroups, algorithms, automata, and languages : Coimbra, Portugal, May-July 2001 /
Έκδοση: (2002)

Knowledge Discovery, Knowledge Engineering and Knowledge Management
ανά: Fred, A, κ.ά.
Έκδοση: (2015)

Formal Concept Analysis: 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings
ανά: Baixeries, Jaume, κ.ά.
Έκδοση: (2015)

Computational and geometric aspects of modern algebra /
Έκδοση: (2000)

Computational and geometric aspects of modern algebra /
Έκδοση: (2000)

Methodologies and Intelligent Systems for Technology Enhanced Learning
ανά: Mascio, T.D, κ.ά.
Έκδοση: (2015)

Intelligent Systems in Science and Information 2014
ανά: Arai, Kohei, κ.ά.
Έκδοση: (2015)

Future directions of fuzzy theory and systems /
Έκδοση: (1995)

The physics of communication : proceedings of the XXII Solvay Conference on Physics : Delphi Lamia, Greece, 24-29 November 2001 /
Έκδοση: (2003)

Mathematical, theoretical and phenomenological challenges beyond the standard model : perspectives of the Balkan collaborations /
Έκδοση: (2005)

Number theoretic methods : future trends /
Έκδοση: (2002)

Theoretical nuclear physics in Italy : proceedings of the 9th Conference on Problems in Theoretical Nuclear Physics : Cortona, Italy, 6-9 October 2004 /
Έκδοση: (2003)