] Filters: First Letter Of Last Name is K [Clear All Filters]
"From Liveness to Promptness",
Proceedings of the 19th International Conference on Computer Aided Verification (CAV 2007), vol. 4590: Springer, pp. 406-419, 2007.
"Negation in Logic Programming",
Logic Programming, vol. 4, pp. 289–308, 1987.
"Towards a Unified Agent Architecture that Combines Rationality with Reactivity",
{Proceedings of the International Workshop on Logic in Databases (LID'96)}, vol. 1154: Springer, pp. 137-149, 1996.
"A Logic-Based Calculus of Events",
New Generation Computing, vol. 4, no. 1, pp. 67-95, 1986.
"Predicate Logic as a Programming Language",
Proceedings of the IFIP Congress, vol. 74, 1974.
"Algorithm = Logic + Control",
Communications of the ACM, vol. 22, no. 7, pp. 424–436, 1979.
"CP-Based Local Branching",
Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, pp. 847-855, 2007.
"Bounding, Filtering and Diversification in CP-based Local Branching",
Journal of Heuristics, vol. 18, issue 3, pp. 353-374, 2012.
Download: JoHLocalBranching.pdf (695.29 KB)
"Safety and Liveness Properties: a Survey",
EATCS-Bulletin, vol. 53, 1994.
Web Services Choreography Description Language Version 1.0,
: World Wide Web Consortium (W3C) Candidate Recommendation, 2005.
"Abductive Logic Programming",
Logic and Computation, vol. 2, no. 6, pp. 719-770, 1993.
"What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior",
Computational Logic in Multi-Agent Systems, vol. 6245: Springer Berlin / Heidelberg, pp. 82-98, 2010.
Abstract