Constraint-based reasoning / (Record no. 73121)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03991nam a2200541 i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 6267467 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220712204714.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 151228s1994 maua ob 001 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| -- | |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9780262288446 |
| -- | electronic |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| -- | |
| 082 00 - CLASSIFICATION NUMBER | |
| Call Number | 006.3 |
| 245 00 - TITLE STATEMENT | |
| Title | Constraint-based reasoning / |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 1 PDF (403 pages) : |
| 490 1# - SERIES STATEMENT | |
| Series statement | Special issues of <i>artificial intelligence</i> |
| 500 ## - GENERAL NOTE | |
| Remark 1 | "A Bradford book." |
| 500 ## - GENERAL NOTE | |
| Remark 1 | Reprinted from Artificial intelligence, volume 58, numbers 1-3, 1992. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | Constraint-based reasoning is an important area of automated reasoning in artificial intelligence, with many applications. These include configuration and design problems, planning and scheduling, temporal and spatial reasoning, defeasible and causal reasoning, machine vision and language understanding, qualitative and diagnostic reasoning, and expert systems. Constraint-Based Reasoning presents current work in the field at several levels: theory, algorithms, languages, applications, and hardware.Constraint-based reasoning has connections to a wide variety of fields, including formal logic, graph theory, relational databases, combinatorial algorithms, operations research, neural networks, truth maintenance, and logic programming. The ideal of describing a problem domain in natural, declarative terms and then letting general deductive mechanisms synthesize individual solutions has to some extent been realized, and even embodied, in programming languages.Contents :- Introduction, E. C. Freuder, A. K. Mackworth.- The Logic of Constraint Satisfaction, A. K. Mackworth.- Partial Constraint Satisfaction, E. C. Freuder, R. J. Wallace.- Constraint Reasoning Based on Interval Arithmetic: The Tolerance Propagation Approach, E. Hyvonen.- Constraint Satisfaction Using Constraint Logic Programming, P. Van Hentenryck, H. Simonis, M. Dincbas.- Minimizing Conflicts: A Heuristic Repair Method for Constraint Satisfaction and Scheduling Problems, S. Minton, M. D. Johnston, A. B. Philips, and P. Laird.- Arc Consistency: Parallelism and Domain Dependence, P. R. Cooper, M. J. Swain.- Structure Identification in Relational Data, R. Dechter, J. Pearl.- Learning to Improve Constraint-Based Scheduling, M. Zweben, E. Davis, B. Daun, E. Drascher, M. Deale, M. Eskey.- Reasoning about Qualitative Temporal Information, P. van Beek.- A Geometric Constraint Engine, G. A. Kramer.- A Theory of Conflict Resolution in Planning, Q. Yang.A Bradford Book. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Freuder, Eugene C. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Mackworth, Alan K. |
| 856 42 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267467 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Cambridge, Massachusetts : |
| -- | MIT Press, |
| -- | 1994. |
| 264 #2 - | |
| -- | [Piscataqay, New Jersey] : |
| -- | IEEE Xplore, |
| -- | [1994] |
| 336 ## - | |
| -- | text |
| -- | rdacontent |
| 337 ## - | |
| -- | electronic |
| -- | isbdmedia |
| 338 ## - | |
| -- | online resource |
| -- | rdacarrier |
| 588 ## - | |
| -- | Description based on PDF viewed 12/28/2015. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Constraints (Artificial intelligence) |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Reasoning. |
No items available.