Home

Biblio

Export 12 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: First Letter Of Last Name is K  [Clear All Filters]
A B C D E F G H I J [K] L M N O P Q R S T U V W X Y Z   [Show ALL]
K
Kafalı, Ö., F. Chesani, and P. Torroni, "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
Kakas, A. C., R. A. Kowalski, and F. Toni, "Abductive Logic Programming", Logic and Computation, vol. 2, no. 6, pp. 719-770, 1993.
Kavantzas, N., D. Burdett, G. Ritzinger, T. Fletcher, Y. Lafon, and C. Barreto, Web Services Choreography Description Language Version 1.0, : World Wide Web Consortium (W3C) Candidate Recommendation, 2005.
Kindler, E., "Safety and Liveness Properties: a Survey", EATCS-Bulletin, vol. 53, 1994.
Kiziltan, Z., A. Lodi, M. Milano, and F. Parisini, "CP-Based Local Branching", Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, pp. 847-855, 2007.
Kiziltan, Z., A. Lodi, M. Milano, and F. Parisini, "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)
Kowalski, R. A., and F. Sadri, "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.
Kowalski, R. A., and M. J. Sergot, "A Logic-Based Calculus of Events", New Generation Computing, vol. 4, no. 1, pp. 67-95, 1986.
Kowalski, R. A., "Predicate Logic as a Programming Language", Proceedings of the IFIP Congress, vol. 74, 1974.
Kowalski, R. A., "Algorithm = Logic + Control", Communications of the ACM, vol. 22, no. 7, pp. 424–436, 1979.
Kunen, K., "Negation in Logic Programming", Logic Programming, vol. 4, pp. 289–308, 1987.
Kupferman, O., N. Piterman, and M. Y. Vardi, "From Liveness to Promptness", Proceedings of the 19th International Conference on Computer Aided Verification (CAV 2007), vol. 4590: Springer, pp. 406-419, 2007.