Sciweavers

657 search results - page 56 / 132
» Modeling Dynamic Domains with ConGolog
Sort
View
PADL
2004
Springer
14 years 2 months ago
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...
Omar El-Khatib, Enrico Pontelli, Tran Cao Son
COGSCI
2006
86views more  COGSCI 2006»
13 years 9 months ago
Flexible Conceptual Projection of Time Onto Spatial Frames of Reference
Flexibility in conceptual projection constitutes one of the most challenging issues in the embodiment and conceptual metaphor literatures. We sketch a theoretical proposal that pl...
Ana Torralbo, Julio Santiago, Juan Lupiá&nt...
SIAMSC
2008
113views more  SIAMSC 2008»
13 years 9 months ago
An Efficient and Robust Method for Simulating Two-Phase Gel Dynamics
We develop a computational method for simulating models of gel dynamics where the gel is described by two phases, a networked polymer and a fluid solvent. The models consist of tra...
Grady B. Wright, Robert D. Guy, Aaron L. Fogelson
JSAC
2008
202views more  JSAC 2008»
13 years 9 months ago
Cognitive Wireless Mesh Networks with Dynamic Spectrum Access
Wireless Mesh Networks (WMNs) are envisaged to extend Internet access and other networking services in personal, local, campus, and metropolitan areas. Mesh routers (MR) form the c...
Kaushik R. Chowdhury, Ian F. Akyildiz
ECML
2006
Springer
14 years 22 days ago
Learning Process Models with Missing Data
Abstract. In this paper, we review the task of inductive process modeling, which uses domain knowledge to compose explanatory models of continuous dynamic systems. Next we discuss ...
Will Bridewell, Pat Langley, Steve Racunas, Stuart...