Sciweavers

7075 search results - page 422 / 1415
» Models and heterogeneous reasoning
Sort
View
ICCS
2009
Springer
15 years 4 months ago
Developing Scientific Applications with Loosely-Coupled Sub-tasks
The Simple API for Grid Applications (SAGA) can be used to develop a range of applications which are in turn composed of multiple sub-tasks. In particular SAGA is an effective tool...
Shantenu Jha, Yaakoub El Khamra, Joohyun Kim
CONTEXT
2007
Springer
16 years 1 months ago
The Difference a Day Makes - Recognizing Important Events in Daily Context Logs
Abstract. We study the extension of context ontologies towards enhanced qualitative spatio-temporal representations and reasoning. Our goal is to model and extract events that are ...
Michael Wessel, Marko Luther, Matthias Wagner
LPNMR
2007
Springer
16 years 1 months ago
An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment
Decision making models for autonomous agents have received increased attention, particularly in the field of intelligent robots. In this paper we will show how a Defeasible Logic ...
Edgardo Ferretti, Marcelo Errecalde, Alejandro Jav...
LICS
2006
IEEE
16 years 27 days ago
Independence and Concurrent Separation Logic
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
Jonathan Hayman, Glynn Winskel
AGP
2003
IEEE
16 years 6 days ago
Enhancing Disjunctive Logic Programming for Ontology Specification
This paper is a presentation of ONTO-DLP, an extension of Disjunctive Logic Programming (DLP) for complex knowledge modelling. ONTO-DLP enhances DLP by constructs coming from othe...
Francesco Calimeri, Stefania Galizia, Massimo Ruff...