New Frontiers in Artificial Intelligence

LENLS.- Logic and Engineering of Natural Language Semantics (LENLS) 10.- A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars.- Semantic similarity.- Foundations.- World history ontology for reasoning truth/falsehood of sentences: Event classification to fill in the gaps between knowledge resources and natural language texts.- Hypersequent calculi for modal logics extending S4.- Discourse-Level Politeness and Implicature.- Bare Plurals in the Left Periphery in German and Italian.- Analyzing Speech Acts based on Dynamic Normative Logic.- Constructive Generalized Quantifiers Revisited.- Argumentative insights from an opinion classification task on a French Corpus.- Exhaustivity through the Maxim of Relation.- First-Order Conditional Logic and Neighborhood-Sheaf Semantics for Analysis of Conditional Sentences.- JURISIN.- Juris-Informatics (JURISIN) 2013.- Requirements of Legal Knowledge Management Systems to Aid Normative Reasoning in Specialist Domains.- ArgPROLEG: A Normative Framework for The JUF Theory.- Answering Yes/No Questions in Legal Bar Exams.- Answering Legal Questions by Mining Reference Information.- Belief Re-revision in Chivalry Case.- MiMI2013.- Multimodality in Multiparty Interaction (MiMI2013).- How Do We Talk in Table Cooking?.- Grounding a "Social" Robot's Movements in Multimodal, Situational Engagements.- AAA.- Argument for Agreement and Assurance (AAA).- Abduction in Argumentation Frameworks and its Use in Debate Games.- Mechanized Support For Assurance Case Argumentation.- DDS13.- Workshop on Data Discretization and Segmentation for Knowledge Discovery(DDS13).- Agreement Subtree Mapping Kernel for Phylogenetic Trees.- A Comprehensive Study of Tree Kernels.- Outliers on Concept Lattices.