3515 search results - page 240 / 703 » On the semantics of Strategy Logic |
187
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Successful negotiators prepare by determining their position along five dimensions: Legitimacy, Options, Goals, Independence, and Commitment, (LOGIC). We introduce a negotiation ...
185
click to vote
ITC
1997
IEEE
15 years 11 months ago
1997
IEEE
: Accurate diagnosis is an essential requirement in many testing environments, since it is the basis for any repair or replacement strategy used for chip or system fault-tolerance....
220
Voted
AICOM
2006
15 years 7 months ago
2006
This paper presents an overview of recent systems for Inductive Logic Programming (ILP). After a short description of the two popular ILP systems FOIL and Progol, we focus on meth...
229
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract-- We consider the problem of controlling a discretetime piecewise affine (PWA) system from a specification given as a Linear Temporal Logic (LTL) formula over linear predi...
243
Voted
ICFP
1999
ACM
15 years 11 months ago
1999
ACM
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...