Christoph Redl and Thomas Krennwallner - Free people check

(1 - 15 from 15

)

ECAI 2014: 21st European Conference on Artificial Intelligence -...

books.google.de

[5] Thomas Eiter, Michael Fink, Thomas Krennwallner, and Christoph Redl, 'Liberal safety for answer set programs with external sources', in Proc. 27th Conf.

Declarative Programming and Knowledge Management: Declarative...

books.google.ru

hex-Programs with Existential Quantification Thomas Eiter, Michael Fink(B), Thomas Krennwallner, and Christoph Redl Institut für Informationssysteme, ...

Declarative Belief Set Merging Using Merging Plans - researchr...

researchr.org

Declarative Belief Set Merging Using Merging Plans. Christoph Redl, Thomas Eiter, Thomas Krennwallner. Declarative Belief Set Merging Using Merging Plans.

[ v1] Conflict-driven ASP Solving with External Sources

arxiv.org

Authors: Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl. (Submitted on 5 Oct 2012). Abstract: Answer Set Programming (ASP) is a ...

[ ] Eliminating Unfounded Set Checking for HEX-Programs

arxiv.org

Eliminating Unfounded Set Checking for HEX-Programs. Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schüller.

All web results to the name "Christoph Redl"

Programme - aspocp 2012

sites.google.com

11:25-11:50 Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, and Peter Schüller. Eliminating Unfounded Set Checking for HEX-Programs, ...

Peter Schüller - Google विद्वान उद्धरण

scholar.google.co.in

सह-लेखकसभी देखें… Thomas Eiter,; Esra Erdem,; Thomas Krennwallner,; Volkan Patoglu,; Giovambattista Ianni,; Antonius Weinzierl,; Christoph Redl, ...

Thomas Krennwallner - Citazioni di Google Scholar

scholar.google.it

Thomas Eiter,; Giovambattista Ianni,; Minh Dao-Tran,; Christoph Redl,; Axel Polleres,; Dr. Jacek Kopecký,; Patrik Schneider,; Peter Schüller,; Francesco Ricca, ...

12 (4-5) 13 – Association for Logic Programming

www.cs.nmsu.edu

Conflict-driven ASP Solving with External Sources. Thomas Eiter Michael Fink Thomas Krennwallner Christoph Redl (Institut für Informationssysteme ...

(PDF) Declarative merging of and reasoning about decision diagrams |...

www.academia.edu

Thomas Eiter, Thomas Krennwallner, and Christoph Redl Institut f¨ur Informationssysteme, Technische Universit¨at Wien -11, A Vienna, ...

Dr. Guohui Xiao -- Publications

www.ghxiao.org

Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Spendier, ...

Racket: [racket] PADL'11 - Call for Participation

lists.racket-lang.org

Declarative Belief Set Merging using Merging Plans Thomas Eiter, Thomas Krennwallner and Christoph Redl . Analysing a Publish/Subscribe ...

WCB11 Preliminary Program

www.dmi.unipg.it

Thomas Eiter, Thomas Krennwallner, and Christoph Redl 12: :00 Lunch break : 14: :30: Constraints and Global Optimization for Gene Prediction Overlap Resolution

dlvhex

www.kr.tuwien.ac.at

Christoph Redl, Thomas Eiter, and Thomas Krennwallner. Declarative Belief Set Merging using Merging Plans. In 13th International Symposium on Practical Aspects

WCB11 Accepted Papers

www.dmi.unipg.it

Thomas Eiter, Thomas Krennwallner and Christoph Redl. (abstract). Constraints and Global Optimization for Gene Prediction Overlap Resolution. Christian Theil ...

Related search requests for Christoph Redl

Patrik Schneider
Francesco Ricca
Andreas Pfandler

Antonius Weinzierl
Michael Fink
Thomas Eiter

Thomas Krennwallner
Christian Theil
Ivan Rizo

People
Forename "Christoph" (12408)
Name "Redl" (117)

sorted by relevance / date

Advanced Search

Search name: 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

Christoph Redl and Thomas Krennwallner Free People Check