Sciweavers

2672 search results - page 1 / 535
» Hybridizing Concept Languages
Sort
View
AMAI
1998
Springer
13 years 10 months ago
Hybridizing Concept Languages
Patrick Blackburn, Miroslava Tzakova
SEMWEB
2009
Springer
14 years 5 months ago
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
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...
José Júlio Alferes, Matthias Knorr, ...
ATAL
2006
Springer
14 years 2 months ago
A stochastic language for modelling opponent agents
There are numerous cases where a reasoning agent needs to reason about the behavior of an opponent agent. In this paper, we propose a hybrid probabilistic logic language within wh...
Gerardo I. Simari, Amy Sliva, Dana S. Nau, V. S. S...
ENTCS
2007
117views more  ENTCS 2007»
13 years 11 months ago
Relating Hybrid Chi to Other Formalisms
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...
D. A. van Beek, J. E. Rooda, Ramon R. H. Schiffele...
HYBRID
2001
Springer
14 years 3 months ago
Hybrid Abstractions that Preserve Timed Languages
Paulo Tabuada, George J. Pappas