Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Yusuf Izmirlioglu

Reasoning About Qualitative Direction and Distance Between Extended Objects Using Answer Set Programming

Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
2019English

Related publications

Reasoning About Delegation and Revocation Schemes in Answer Set Programming

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2012English

Synthesizing Concurrent Programs Using Answer Set Programming

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2012English

Automata and Answer Set Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

On the Relation Between ID-Logic and Answer Set Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Integrating Answer Set Programming and Constraint Logic Programming

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2008English

Special Issue on Answer Set Programming

KI - Künstliche Intelligenz
2018English

GASP: Answer Set Programming With Lazy Grounding

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

Constructing Camin-Sokal Phylogenies via Answer Set Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

PHYLO-ASP: Phylogenetic Systematics With Answer Set Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy