Limit Search Results
Author
SpringerLink (Online service)
(307)
Voronkov, Andrei. editor.
(10)
Gabbay, Dov M., 1945-
(6)
Croitoru, Madalina. editor.
(5)
Project Muse.
(5)
Language
Publication Date
-
Subject
Artificial intelligence.
(121)
Computer science.
(94)
Software engineering.
(40)
Information systems.
(34)
Logic design.
(34)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
437 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Legal reasoning and legal theory
Legal reasoning and legal theory
Author 
MacCormick, Neil.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198763840.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Qualitative reasoning about physical systems
Qualitative reasoning about physical systems
Author 
Bobrow, Daniel G. (Daniel Gureasko), 1935-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780444876706
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Automated Reasoning for Systems Biology and Medicine
Automated Reasoning for Systems Biology and Medicine
Author 
Liò, Pietro. editor. Zuliani, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17297-8
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Workflow Modeling Assistance by Case-based Reasoning
Workflow Modeling Assistance by Case-based Reasoning
Author 
Müller, Gilbert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-23559-8
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Reasoning : the neuroscience of how we think
Reasoning : the neuroscience of how we think
Author 
Krawczyk, Daniel, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9780128092859
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Commonsense reasoning an event calculus-based approach
Commonsense reasoning an event calculus-based approach
Author 
Mueller, Erik T., author.
Preferred Shelf Number 
ONLINE(355437.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128014165
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Computational Approaches to Analogical Reasoning: Current Trends
Computational Approaches to Analogical Reasoning: Current Trends
Author 
Prade, Henri. editor. Richard, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-642-54516-0
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for A General Framework for Reasoning On Inconsistency
A General Framework for Reasoning On Inconsistency
Author 
Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332107.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-6750-2
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Domain-Level Reasoning for Spoken Dialogue Systems
Domain-Level Reasoning for Spoken Dialogue Systems
Author 
Bühler, Dirk. author. Minker, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9728-9
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Mathematical reasoning patterns, problems, conjectures, and proofs
Mathematical reasoning patterns, problems, conjectures, and proofs
Author 
Nickerson, Raymond S.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click here to view
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Teaching Mathematical Reasoning in Secondary School Classrooms
Teaching Mathematical Reasoning in Secondary School Classrooms
Author 
Brodie, Karin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09742-8
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Handbook of Practical Logic and Automated Reasoning
Handbook of Practical Logic and Automated Reasoning
Author 
Harrison, John.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action