588 search results - page 60 / 118 » Differential Logic for Reasoning About Hybrid Systems |
137
click to vote
GEOS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...
138
click to vote
IDT
2010
15 years 13 days ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
115
click to vote
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...
113
click to vote
SEMWEB
2007
Springer
15 years 8 months ago
2007
Springer
An ontology is a formal representation of a domain modeling the entities in the domain and their relations. When a domain is represented by multiple ontologies, there is a need for...
144
click to vote
CLIMA
2006
15 years 3 months ago
2006
This paper reports on a fertile marriage between madAgents, a Java and Prolog based multi-agent platform, and EVOLP, a logic programming based language to represent and reason abou...