585 search results - page 70 / 117 » Structured Formal Development in Isabelle |
RAS
2008
14 years 11 months ago
2008
In this paper we present the robot programming and planning language Readylog, a Golog dialect which was developed to support the decision making of robots acting in dynamic real-...
121
click to vote
DKE
2011
14 years 6 months ago
2011
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
ICLP
1999
Springer
15 years 4 months ago
1999
Springer
Knowledge representation in logics, even in the order-sorted logic that includes a sort hierarchy, tends to lose the conciseness and the nuances of natural language. If we could c...
ICWSM
2010
15 years 1 months ago
2010
Microblogging concurrently with live media events is becoming commonplace. The resulting comment stream represents a parallel, social conversational reflection on the event. Altho...
110
click to vote
ODR
2008
15 years 1 months ago
2008
: Argumentation theory is often used in multi agent-systems to facilitate autonomous agent reasoning and multi-agent interaction. The technology can also be used to develop online ...