Skip to main content

Biblio

Export 13 results:
Sort by: [ Author  (Desc)] 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
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.
Kunen, K., "Negation in Logic Programming", Logic Programming, vol. 4, pp. 289–308, 1987.
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., "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.
Kowalski, R. A., and M. J. Sergot, "A Logic-Based Calculus of Events", New Generation Computing, vol. 4, no. 1, pp. 67-95, 1986.
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)
Kakas, A. C., R. A. Kowalski, and F. Toni, "Abductive Logic Programming", Logic and Computation, vol. 2, no. 6, pp. 719-770, 1993.
Kafalı, Ö., and P. Torroni, "Comodo: Collaborative monitoring of commitment delegations", Expert Systems with Applications, vol. 105, pp. 144 - 158, 2018.
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