From post

Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming.

, и . Correct Reasoning, том 7265 из Lecture Notes in Computer Science, стр. 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.

 

Другие публикации лиц с тем же именем

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