Sold Out
Book Categories |
The Gain of Failures: Using Side-Effects of Anaphora Resolution for Term Consistency Checks | 1 | |
An Agent Model for NL Dialog Interfaces | 14 | |
Constraint Solving in Logic Programming and in Automated Deduction: A Comparison | 28 | |
An Extension of SATPLAN for Planning with Constraints | 39 | |
Reasoning about Generalized Intervals | 50 | |
Formalizing Belief Reports - The Approach and a Case Study | 62 | |
Extension Calculus and Query Answering in Prioritized Default Logic | 76 | |
Study of Symmetry in Qualitative Temporal Interval Networks | 88 | |
A Blackboard Architecture for Guiding Interactive Proofs | 102 | |
Combining Nonmonotonic Reasoning and Belief Revision: A Practical Approach | 115 | |
Modelling Uncertainty with Kripke's Semantics | 129 | |
Using Linear Temporal Logic to Model and Solve Planning Problems | 141 | |
Tailorable Interactive Agents for Scheduling Meetings | 153 | |
Planning Diagonalization Proofs | 167 | |
Theories and Proofs in Fault Diagnosis | 181 | |
Nonmonotonic Reasoning under Uncertain Evidence | 195 | |
Multicontext Systems with Importing Contexts | 209 | |
Planning via Model Checking in Deterministic Domains: Preliminary Report | 221 | |
Acquisition of Useful Lemma-Knowledge in Automated Reasoning | 230 | |
Constructing Translations between Individual Vocabularies in Multi-Agent Systems | 240 | |
Belief Reconstruction in Cooperative Dialogues | 254 | |
Model Theoretic Semantics for Information Integration | 267 | |
A Classification Learning Algorithm Robust to Irrelevant Features | 281 | |
Knowledge Assimilation and Proof Restoration Through the Addition of Goals | 291 | |
Learning Multiple Predicates | 303 | |
Modal Reasoning and Rough Set Theory | 317 | |
Overcoming Incomplete Information in NLP Systems - Verb Subcategorization | 331 | |
A Framework for Inductive Learning Based on Subsumption Lattices | 341 | |
Dynamic Learning - An Approach to Forgetting in ART2 Neural Networks | 353 | |
A New Approach to Linguistic Negation of Nuanced Information in Knowledge-Based Systems | 363 | |
SAT-Based Decision Procedures for Normal Modal Logics: A Theoretical Framework | 377 | |
Version Space Retraction with Instance-Based Boundary Sets | 389 | |
A New Abstract Logic Programming Language and Its Quantifier Elimination Method for Disjunctive Logic Programming | 403 | |
A New Approach to Learning Bayesian Network Classifiers from Data: Using Observed Statistical Frequencies | 417 | |
Abstraction as a Form of Elaboration Tolerance | 427 | |
System Architecture of a Distributed Expert System for the Management of a National Data Network | 438 | |
Strategy Selection for Automated Theorem Proving | 452 | |
An Agent System for Intelligent Situation Assessment | 466 | |
Knowledge Granularity and Action Selection | 475 | |
Towards Lifetime Maintenance of Case Based Indexes for Continual Case Based Reasoning | 489 | |
Author Index | 501 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionArtificial Intelligence: Methodology, Systems, and Applications
X
This Item is in Your InventoryArtificial Intelligence: Methodology, Systems, and Applications
X
You must be logged in to review the productsX
X
X
Add Artificial Intelligence: Methodology, Systems, and Applications, This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA'98, held in Sozopol, Bulgaria, in September 1998. The 40 revised full papers presented were carefu, Artificial Intelligence: Methodology, Systems, and Applications to the inventory that you are selling on WonderClubX
X
Add Artificial Intelligence: Methodology, Systems, and Applications, This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA'98, held in Sozopol, Bulgaria, in September 1998. The 40 revised full papers presented were carefu, Artificial Intelligence: Methodology, Systems, and Applications to your collection on WonderClub |