10 search results - page 2 / 2 » A Hybrid Reasoning Model for Indirect Answers |
LICS
1996
IEEE
13 years 9 months ago
1996
IEEE
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
ASP
2005
Springer
13 years 10 months ago
2005
Springer
In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain value...
WSC
2008
13 years 7 months ago
2008
Simulation modeling has the capability to represent complex real-world systems in details and therefore it is suitable to develop simulation models for generating detailed operati...
SEMWEB
2009
Springer
13 years 11 months ago
2009
Springer
An important issue for the Semantic Web is how to combine open-world ontology languages with closed-world (non-monotonic) rule paradigms. Several proposals for hybrid languages all...
PADL
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...