作者： Jose Julio Alferes, Moa Johansson    起始页：-1

关键词：

作者： Yuliya Lierler    起始页：1

关键词：

作者： Nicholas Hippen, Yuliya Lierler    起始页：19

关键词：

作者： Muhammed Kerem Kahraman, Esra Erdem    起始页：37

关键词： Course scheduling, Answer set programming, Declarative problem solving

作者： Dhruva Pendharkar, Gopal Gupta    起始页：46

关键词： ASP, Common sense reasoning, NLP, KR

作者： Van Nguyen, Tran Cao Son, Enrico Pontelli    起始页：64

关键词： Natural language generation, Ontologies, Web service, Grammatical Framework, Attempto Controlled English

作者： Michael Hanus    起始页：82

关键词：

作者： Joaquin Arias, Manuel Cairo    起始页：98

关键词：

作者： Paul Tarau    起始页：115

关键词： Curry-Howard isomorphism, Propositional implicational intuitionistic logic, Type inference and type inhabitation, Simply typed lambda terms, Logic programming, Propositional theorem provers, Combinatorial testing algorithms

作者： Ruben P. Pieters, Tom Schrijvers    起始页：133

关键词： Stream processing, Structured recursion, Algebra