3693 search results - page 286 / 739 » Splitting a Logic Program |
137
Voted
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...
191
Voted
IBERAMIA
2010
Springer
15 years 2 months ago
2010
Springer
In a recent paper [2] the authors have formalized a recursive semantics for warranted conclusions in a general defeasible argumentation framework based on a propositional logic. Th...
121
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...
130
Voted
IIE
2007
15 years 4 months ago
2007
Although there are many high-quality models for program and evaluation planning, these models are often too intensive to be used in situations when time and resources are scarce. A...
152
click to vote
PPDP
2007
Springer
15 years 11 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...