Logic, Reasoning, and Knowledge

Answer set programming (ASP) has been applied fruitfully to a wide range of areas in AI and in other fields, both in academia and in industry, thanks to the expressive representation languages of ASP and the continuous improvement of ASP solvers. We present some of these ASP applications, in particular, in knowledge r…

• ESRA ERDEM PATOĞLU

No abstract yet.

• KUTLUHAN EROL

No abstract yet.

• KUTLUHAN EROL

Pathfinding for a single agent is the problem of planning a route from an initial location to a goal location in an environment, going around obstacles. Pathfinding for multiple agents also aims to plan such routes for each agent, subject to different constraints, such as restrictions on the length of each path or on…

This note is about the relationship between two theories of negation as failure – one based on program completion, the other based on stable models, or answer sets. François Fages showed that if a logic program satisfies a certain syntactic condition, which is now called ‘tightness,’ then its stable models can be char…

We present a formal framework that combines high-level representation and causality-based reasoning with low-level geometric reasoning and motion planning. The frame-work features bilateral interaction between task and motion planning, and embeds geometric reasoning in causal reasoning, thanks to several advantages in…

No abstract yet.

• ELENA GUERZONI

No abstract yet.

• VOLKAN PATOĞLU

No abstract yet.

• ESRA ERDEM PATOĞLU

We introduce a novel computational method for geometric rearrangement of multiple movable objects on a cluttered surface, where objects can change locations more than once by pick and/or push actions. This method consists of four stages: (i) finding tentative collision-free final configurations for all objects (all th…

No abstract yet.

• İBRAHİM ÇİL

No abstract yet.

• İBRAHİM ÇİL