2409 search results - page 74 / 482 » Logical systems for structured specifications |
145
Voted
AAMAS
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
129
click to vote
SLOGICA
2002
15 years 4 months ago
2002
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...
154
click to vote
TCS
2002
15 years 4 months ago
2002
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
180
Voted
UAIS
2010
14 years 11 months ago
2010
Abstract Text documents usually embody visually oriented meta-information in the form of complex visual structures, such as tables. The semantics involved in such objects result in...
137
Voted
ACL
1997
15 years 6 months ago
1997
We introduce a typed feature logic system providing both universal implicational principles as well as definite clauses over feature terms. We show that such an architecture suppo...