AAAI-96: Proceedings of the Thirteenth National Conference on Artificial Intelligence and The Eighth Annual Conference on Innovative Applications of Artificial Intelligence (2 volume set), Volume 13, Part 2
AAAI Press, Jul 1, 1996 - Artificial intelligence - 1642 pages
August 4-8, 1996, Portland, Oregon
AAAI '96 provides a broad forum for information exchange and interaction among researchers working in different subdisciplines, in different research paradigms, and in different stages of research in artificial intelligence. Topics cover principles underlying cognition, perception and action; design, application, and evaluation of AI algorithms and systems; architectures and frameworks for classes of AI systems; and analysis of tasks and domains in which intelligent systems perform. Included are contributions that describe theoretical, empirical, or experimental results; represent areas of AI that may have been underrepresented in recent conferences; present promising new research concepts, techniques, or perspectives; or discuss issues that cross traditional subdisciplinary boundaries.
Distributed for the AAAI Press
61 pages matching logic in this book
Results 1-3 of 61
What people are saying - Write a review
We haven't found any reviews in the usual places.
Schmidt Universitiit Bonn 1896 Qualitative MultipleFault Diagnosis of Continuous
Guaranteeing Safety in Spatially Situated Agents
43 other sections not shown
actions agent algorithm applied approach Artificial Intelligence axioms Bayesian Bayesian networks behavior block bond graph camera case-based reasoning complete components Computer Vision configuration constraints corresponding default defined denoted described diagnosis diagram domain dynamic encoding environment equations example exception handling failure feedback Figure formula function gesture gesture recognition given goal graph grid heuristic IEEE implemented initial input logic Manhattan distance method mobile robot mode model-based modules move negation as failure nodes object obstacles operators optical flow optimal output paper parameters parse path performance planner plausibility position possible probability problem Proc proximity space QDOCS QSIM qualitative reasoning recognition reference regions relation represent representation rules satisfies semantics sensing sequence shows simulation SmartCams solution solving specific structure task techniques temporal temporal logic Theorem tion trajectory transition tuple variables vision visual visual routines