Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings /

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 16h International Workshop on Logic, Language, Information and Computation, WoLLIC 2009, held in Tokyo, J...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Ono, Hiroakira (Editor ), Kanazawa, Makoto (Editor ), de Queiroz, Ruy (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Colección:Lecture Notes in Artificial Intelligence, 5514
Temas:
Artificial intelligence.
Computer science.
Algorithms.
Machine theory.
Computer science-Mathematics.
Discrete mathematics.
Artificial Intelligence.
Theory of Computation.
Formal Languages and Automata Theory.
Mathematics of Computing.
Discrete Mathematics in Computer Science.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Tutorials and Invited Talks
  • A Characterisation of Definable NP Search Problems in Peano Arithmetic
  • Algebraic Valuations as Behavioral Logical Matrices
  • Query Answering in Description Logics: The Knots Approach
  • Mathematical Logic for Life Science Ontologies
  • Recognizability in the Simply Typed Lambda-Calculus
  • Logic-Based Probabilistic Modeling
  • Contributed Papers
  • Completions of Basic Algebras
  • Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization
  • Observational Completeness on Abstract Interpretation
  • SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability
  • Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points
  • First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
  • On-the-Fly Macros
  • Abductive Logic Grammars
  • On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar
  • Observational Effort and Formally Open Mappings
  • Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus
  • Property Driven Three-Valued Model Checking on Hybrid Automata
  • Team Logic and Second-Order Logic
  • Ludics and Its Applications to Natural Language Semantics
  • Spoilt for Choice: Full First-Order Hierarchical Decompositions
  • Classic-Like Analytic Tableaux for Finite-Valued Logics
  • A Duality for Algebras of Lattice-Valued Modal Logic
  • An Independence Relation for Sets of Secrets
  • Expressing Extension-Based Semantics Based on Stratified Minimal Models
  • Deep Inference in Bi-intuitionistic Logic
  • : An Action-Based Logic for Reasoning about Contracts
  • Ehrenfeucht-Fraïssé Games on Random Structures
  • Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
  • The Arrow Calculus as a Quantum Programming Language
  • Knowledge, Time, and Logical Omniscience.

Ejemplares similares