Author of the publication

Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming.

, and . Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, page 436-453. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Systems, Engineering Environments, and Competitions., , and . AI Magazine, 37 (3): 45-52 (2016)Representing first-order causal theories by logic programs., , , , and . Theory Pract. Log. Program., 12 (3): 383-412 (2012)System Predictor: Grounding Size Estimator for Logic Programs under Answer Set Semantics., , and . Theory Pract. Log. Program., 24 (1): 132-156 (January 2024)cmodels - SAT-Based Disjunctive Answer Set Solver.. LPNMR, volume 3662 of Lecture Notes in Computer Science, page 447-451. Springer, (2005)Vladimir Lifschitz - A Youth at 65., , , , , , , and . Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, page 14-23. Springer, (2012)Integration Schemas for Constraint Answer Set Programming: a Case Study., and . Theory Pract. Log. Program., (2013)First-order modular logic programs and their conservative extensions., and . Theory Pract. Log. Program., 16 (5-6): 755-770 (2016)SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs., and . KR, page 67-71. AAAI Press, (2018)An Abstract View on Modularity in Knowledge Representation., and . AAAI, page 1532-1538. AAAI Press, (2015)Towards a Tight Integration of Syntactic Parsing with Semantic Disambiguation by means of Declarative Programming., and . IWCS, page 383-389. The Association for Computer Linguistics, (2013)