1,721,084 research outputs found
Intelligent planning: A decomposition and abstraction based approach to classical planning
No full textElsevier, Amsterdam, The Netherland
SAT-Based Decision Procedures for Classical Modal Logics
No full textWe present a set of SAT-based decision procedures for various classical modal logics.
By SAT based, we mean built on top of a SAT solver. We show how the SAT-based approach
allows for a modular implementation for these logics. For some of the logics we deal with, we
are not aware of any other implementation. For the others, we define a testing methodology that
generalizes the 3CNFK methodology by Giunchiglia and Sebastiani. The experimental evaluation
shows that our decision procedures perform better than or as well as other state-of-the-art decision
procedures
Understanding scene descriptions by integrating different sources of knowledge
No full textThe aim of this work is to describe a system, called NALIG (Natural-Language-driven Image Generator), able to understand natural language descriptions of object spatial configurations and draw on a graphic screen one of the infinitely many scenes consistent with the input. NALIG can be used interactively and at any step a multi-layered contextual analysis of the input is performed to detect and eliminate possible incosistencies due to previous default choices. The system is described in its functionalities, internal structure and interactions among its sub-parts
- …
