Classify

An experimental classification web service

Powered by the Classify Web Service.

Search Results

Search Criteria: FAST heading = Reasoning--Data processing
Displaying 1 to 25 of 66
Title & Author Format Holdings Editions From To
Computational models of argument : proceedings of COMMA 2014 by Parsons, Simon
DDC/LCC
  1105 6 2014 2014
Representing and reasoning with probabilistic knowledge : a logical approach to probabilities by Bacchus, Fahiem
DDC/LCC
  671 19 1988 1990
Uncertainty in knowledge bases : 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '90, Paris, France, July 2-6, 1990, proceedings by Bouchon-Meunier, B. (Bernadette), 1948-
DDC/LCC
  537 24 1991 1991
Non-monotonic reasoning : 2nd international workshop, Grassau, FRG, June 1988 : proceedings by Reinfrank, M. (Michael), 1958-
DDC/LCC
  512 26 1988 1998
Argument mining : linguistic foundations by Janier, Mathilde
DDC/LCC
  458 10 2019 2019
Tractable reasoning in artificial intelligence by Cadoli, Marco, 1965-
DDC/LCC
  391 6 1995 1995
Subjective logic : a formalism for reasoning under uncertainty by Jøsang, Audun
DDC/LCC
  334 16 2016 2018
Visualizing argumentation : software tools for collaborative and educational sense-making by Kirschner, Paul Arthur, 1951-
DDC/LCC
  329 13 2002 2003
MERLIN '05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia by ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding (3rd : 2005 : Tallinn, Estonia)
DDC/LCC
  308 5 2005 2005
Reasoning processes in humans and computers : theory and research in psychology and artificial intelligence by Wagman, Morton
DDC/LCC
  271 5 2003 2003
A short introduction to preferences : between artificial intelligence and social choice by Rossi, Francesca, 1962-
DDC/LCC
  267 14 2011 2012
Simply logical : intelligent reasoning by example by Flach, Peter A.
DDC/LCC
  265 25 1994 1998
Colloquium on "Reasoning under Uncertainty" : on Tuesday, 22 May 1990 by Colloquium on "Reasoning Under Uncertainty" (1990 : Londres, Angleterre)
LCC
  264 6 1990 2001
Colloquium on "Temporal Reasoning" : on Wednesday, 31 January 1990 by Colloquium on "Temporal Reasoning" (1990 : London, England)
LCC
  248 3 1990 2000
Proceedings of the 2003 Workshop on Mechanized reasoning About Languages with Variable Binding : 2003, Uppsala, Sweden, 2003 by ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding (2003 : Uppsala, Sweden)
LCC
  245 2 2004 2004
Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning by International Conference on Principles of Knowledge Representation and Reasoning (1, 1989, Toronto)
DDC/LCC
  216 14 1989 1989
Argumentation mining by Stede, Manfred, 1965-
DDC/LCC
  200 15 2018 2019
Intelligence analysis as discovery of evidence, hypotheses, and arguments : connecting the dots by Tecuci, Gheorghe
DDC/LCC
  154 11 2016 2016
Schliessen bei unsicherem Wissen in der künstlichen Intelligenz : Vergleich von Formalismen anhand eines Beispiels by Sombé, Léa
DDC
  96 4 1992 1992
Le raisonnement en intelligence artificielle : modèles, techniques et architectures pour les systèmes à bases de connaissances
LCC
  92 5 1991 1991
Tractable reasoning in artificial intelligence by Cadoli, Marco, 1965-
DDC/LCC
  87 4 1995 1995
Proceedings of the ... ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with varIable biNding : MERLIN by ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
LCC
  53 3 2003 2003
Socrates in the labyrinth : hypertext, argument, philosophy by Kolb, David
DDC/LCC
  46 16 1994 2001
A temporal reasoning and abstraction framework for model-based diagnosis systems by Gamper, Johann
LCC
  22 3 1996 1996
5. [Fifth] Conference on Automated Deduction : Les Arcs, France, 1980 by Bibel, W., 1938-
DDC
  21 7 1980 1980
Displaying 1 to 25 of 66
.