• Article  

      Default reasoning via negation as failure 

      Kakas, Antonis C. (1994)
      We show how recent developments in the study of negation as failure of Logic Programming can be used to define a general framework for Default Reasoning. Negation as failure can be viewed as a form of hypotheses with which ...
    • Article  

      Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners 

      Gerevini, A. E.; Haslum, P.; Long, D.; Saetti, A.; Dimopoulos, Yannis (2009)
      The international planning competition (IPC) is an important driver for planning research. The general goals of the IPC include pushing the state of the art in planning technology by posing new scientific challenges, ...
    • Article  

      Extended semantics and optimization algorithms for CP-networks 

      Brafman, R. I.; Dimopoulos, Yannis (2004)
      Preference elicitation is a serious bottleneck in many decision support applications and agent specification tasks. Ceteris paribus (CP)-nets were designed to make the process of preference elicitation simpler and more ...
    • Conference Object  

      Heuristic guided optimization for propositional planning 

      Sideris, A.; Dimopoulos, Yannis (AAAI press, 2014)
      Planning as Satisfiability is an important approach to Propositional Planning. A serious drawback of the method is its limited scalability, as the instances that arise from large planning problems are often too hard for ...
    • Conference Object  

      Making decisions through preference-based argumentation 

      Amgoud, L.; Dimopoulos, Yannis; Moraïtis, Pavlos (2008)
      Decision making is usually based on the comparative evaluation of different alternatives by means of a decision criterion. The whole decision process is compacted into a criterion formula on the basis of which alternatives ...
    • Conference Object  

      A psychology-inspired approach to automated narrative text comprehension 

      Diakidoy, Irene Anna N.; Kakas, Antonis C.; Michael, Loizos; Miller, R. (AAAI press, 2014)
      We report on an ongoing research program to develop a formal framework for automated narrative text comprehension, bringing together know-how from research in Artificial Intelligence and the Psychology of Reading and ...