1151 search results - page 137 / 231 » Collaborative Programming: Applications of Logic and Automat... |
120
Voted
GIS
2010
ACM
15 years 2 months ago
2010
ACM
Reasoning about space has been a considerable field of study both in Artificial Intelligence and in spatial information theory. Many applications benefit from the inference of ...
129
Voted
CSL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
141
Voted
CADE
2004
Springer
16 years 4 months ago
2004
Springer
Interactive theorem provers can model complex systems, but require much effort to prove theorems. Resolution theorem provers are automatic and powerful, but they are designed to be...
132
Voted
CADE
2004
Springer
16 years 4 months ago
2004
Springer
ended abstract motivates and presents techniques for identifying variable independence in free variable calculi for classical logic without equality. Two variables are called indep...
138
Voted
DLOG
2010
15 years 1 months ago
2010
Abstract. A usage scenario of bio-ontologies is hypothesis testing, such as finding relationships or new subconcepts in the data linked to the ontology. Whilst validating the hypot...