5451 search results - page 668 / 1091 » Typed Operational Semantics |
182
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
199
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
163
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial descriptions of symbols, based on a formal description. This work is ...
197
click to vote
TIME
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper presents various semantic interpretations for logics of knowledge and time with prefect recall. We allow both past and future operators and examine the interpretation...
190
Voted
ARGMAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents an argumentation mechanism for reconciling conflicts between planning agents related to plan proposals, which are caused by inconsistencies between b...