1814 search results - page 209 / 363 » Extended First-Order Logic |
122
click to vote
PLILP
1998
Springer
15 years 8 months ago
1998
Springer
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
165
click to vote
ISKI
1994
15 years 7 months ago
1994
This paper aims at integrating techniques of non-monotonic reasoning about updates and of object-oriented specification of information systems. We present how to utilize defaults i...
132
click to vote
BROADNETS
2004
IEEE
15 years 7 months ago
2004
IEEE
In IP-over-WDM networks, a logical IP network has to be routed on top of a physical optical fiber network. An important challenge hereby is to make the routing survivable. We call...
144
click to vote
RTA
2000
Springer
15 years 7 months ago
2000
Springer
Parallelism constraints are logical descriptions of trees. Parallelism constraints subsume dominance constraints and are equal in expressive power to context unification. Paralleli...
124
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...