UB Paderborn / Katalog / Suche / im Katalog

1 – 25 von 38

Sortiert nach

Handbook of logic in artificial intelligence and logic programming

Handbooks of logic in computer science and artificial intelligence and logic programming, Oxford science publications

Gabbay, Dov M[Herausgeber]

Signatur: TVU4594-...

Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings [Elektronische Ressource]

2008

Logic for problem solving

The computer science library : Artificial intelligence series : 7 (Alle Bände)

Kowalski, Robert

1979

Signatur: TVD1630

Philosophical logic and artificial intelligence

Thomason, Richmond H[Herausgeber]

1989

Signatur: HLH2541

Logic, action, and information : essays on logic in philosophy and artifical intelligence

Fuhrmann, André[Herausgeber]

1996

Signatur: HLF2622

Deontic Logic and Artificial Normative Systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings [Elektronische Ressource]

2006

Mechanizing hypothesis formation : mathematical foundations for a general theory

Universitext

1978

Signatur: TCO1477

Logical foundations of artificial intelligence

1987

Signatur: TVU1059

Negation : a notion in focus

Perspektiven der analytischen Philosophie : 7 (Alle Bände)

Wansing, Heinrich[Herausgeber]

1996

Signatur: HLH2876

Logic and representation

CSLI Lecture notes : 39 (Alle Bände)

Moore, Robert C

1995

Signatur: TCL4381

From natural language processing to logic for expert systems : a logic based approach to artificial intelligence

A logic based approach to artificial intelligence

1991

Signatur: TVU3310

Analogical reasoning : perspectives of artificial intelligence, cognitive science, and philosophy

Synthese library : 197 (Alle Bände)

Helman, David H[Herausgeber]

1988

Signatur: HLT2800

Readings in nonmonotonic reasoning

Ginsberg, Matthew L[Herausgeber]

1. [Dr.], 1987

Signatur: TCL3783

Fuzzy Logic in Artificial Intelligence : IJCAI’97 Workshop Nagoya, Japan, August 23–24, 1997 Selected and Invited Papers [Elektronische Ressource]

1999

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Neural networks and Fuzzy systems : a dynamical systems approach to machine intelligence

Prentice-Hall International editions

Kosko, Bart

1992

Signatur: TVU8750

Formal methods in artificial intelligence

Cambridge tracts in theoretical computer science : 6 (Alle Bände)

Ramsay, Allan

1988

Signatur: TVU1473

Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings [Elektronische Ressource]

2008

Logics in Artificial Intelligence : 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings [Elektronische Ressource]

2002

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings [Elektronische Ressource]

2011

Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Theoretical Computer Science and General Issues : 11813

1st ed. 2019, 2019

Qualitative and Quantitative Practical Reasoning : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9–12, 1997 Proceedings [Elektronische Ressource]

1997

Link zum Volltext
Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)

Logic, Rationality, and Interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings [Elektronische Ressource]

2013

Logic, Rationality, and Interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings [Elektronische Ressource]

2011

Logics in Artificial Intelligence : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Lecture Notes in Artificial Intelligence : 11468

2019

Developments in Language Theory : 24th International Conference, DLT 2020, Tampa, FL, USA, May 11–15, 2020, Proceedings

Theoretical Computer Science and General Issues : 12086

1st ed. 2020, 2020

1 – 25 von 38

Suche als RSS-Feed

Aktive Filter

SpracheDeutsch

SchlagwortKünstliche Intelligenz

Suchergebnisse filtern

Filter anzeigen

Art des Mediums

Online-Ressource
(24)
Gedruckt
(14)

Autor / Autorin

15 weitere anzeigen...

Weniger anzeigen...

Erscheinungsform

Monographie
(38)

Schlagwort

Logik
(23)
Artificial intelligence
(22)
Computer science
(21)
Information storage and retrieval systems
(10)
Mathematische Logik
(7)
Computer vision
(6)
Fuzzy-Logik
(6)
Information systems
(6)
Logic design
(6)
Logische Programmierung
(6)
Database management
(5)
Semantik
(5)
Informatik
(4)
Kognitionswissenschaft
(4)
Lernendes System
(4)
Natürliche Sprache
(4)
Problemlösen
(4)
Rechtsinformatik
(4)
Algebra
(3)

14 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Neu hinzugefügt

Sprache

Englisch
(29)

Systemstelle

TVU
(6)
HLH
(2)
TCL
(2)
HLF
(1)
HLK
(1)
HLT
(1)
TCO
(1)
TVB
(1)
TVD
(1)

4 weitere anzeigen...

Weniger anzeigen...

Art des Inhalts

Sonstiges
(36)
Kongressbericht
(2)

Menü

Weitere Dienste

Einstellungen

Handbook of logic in artificial intelligence and logic programming

Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings [Elektronische Ressource]

Logic for problem solving

Philosophical logic and artificial intelligence

Logic, action, and information : essays on logic in philosophy and artifical intelligence

Deontic Logic and Artificial Normative Systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings [Elektronische Ressource]

Mechanizing hypothesis formation : mathematical foundations for a general theory

Logical foundations of artificial intelligence

Negation : a notion in focus

Logic and representation

From natural language processing to logic for expert systems : a logic based approach to artificial intelligence

Analogical reasoning : perspectives of artificial intelligence, cognitive science, and philosophy

Readings in nonmonotonic reasoning

Fuzzy Logic in Artificial Intelligence : IJCAI’97 Workshop Nagoya, Japan, August 23–24, 1997 Selected and Invited Papers [Elektronische Ressource]

Neural networks and Fuzzy systems : a dynamical systems approach to machine intelligence

Formal methods in artificial intelligence

Logics in Artificial Intelligence : 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings [Elektronische Ressource]

Logics in Artificial Intelligence : 8th European Conference, JELIA 2002 Cosenza, Italy, September 23–26, 2002 Proceedings [Elektronische Ressource]

Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings [Elektronische Ressource]

Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings

Qualitative and Quantitative Practical Reasoning : First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97 Bad Honnef, Germany, June 9–12, 1997 Proceedings [Elektronische Ressource]

Logic, Rationality, and Interaction : 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings [Elektronische Ressource]

Logic, Rationality, and Interaction : Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings [Elektronische Ressource]

Logics in Artificial Intelligence : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings

Developments in Language Theory : 24th International Conference, DLT 2020, Tampa, FL, USA, May 11–15, 2020, Proceedings

Aktive Filter

Suchergebnisse filtern