close
1.

図書

図書
Robert Nieuwenhuis, Andrei Voronkov (eds.)
出版情報: Berlin ; New York : Springer, c2001  xv, 738 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2250 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk / Session 1:
Monodic Fragments of First-Order Temporal Logics: 2000-2001 A.D / Ian Hodkinson ; Frank Wolter ; Michael Zakharyaschev
Verification / Session 2:
On Bounded Specifications / Orna Kupferman ; Moshe Y. Vardi
Improving Automata Generation for Linear Temporal Logic by Considering the Automaton Hierarchy / Klaus Schneider
Local Temporal Logic Is Expressively Complete for Cograph Dependence Alphabets / Volker Diekert ; Paul Gastin
Guarded Logics / Session 3:
Games and Model Checking for Guarded Logics / Dietmar Berwanger ; Erich Grädel
Computational Space Efficiency and Minimal Model Generation for Guarded Formulae / Lilia Georgieva ; Ullrich Hustadt ; Renate A. Schmidt
Agents / Session 4:
Local Conditional High-Level Robot Programs / Natasha Alechina ; Brian Logan ; Sebastian SardiñaLogical Omniscience and the Cost of Deliberation:
A Refinement Theory That Supports Reasoning about Knowledge and Time for Synchronous Agents / Kai Engelhardt ; Ron van der Meyden ; Yoram Moses
Automated Theorem Proving / Session 5:
Proof and Model Generation with Disconnection Tableaux / Reinhold Letz ; Gernot Stenz
Counting the Number of Equivalent Binary Resolution Proofs / Joseph D. Horton
Splitting through New Proposition Symbols / Hans de NivelleSession 6:
Complexity of Linear Standard Theories / Christopher Lynch ; Barbara Morawska
Herbrand's Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving / Matthias Baaz ; Agata Ciabattoni ; Christian G. Fermüller
Non-classical Logics / Session 7:
Unification in a Description Logic with Transitive Closure of Roles / Franz Baader ; Ralf Küsters
Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions / Guy Perrier
Types / Session 8:
Coherence and Transitivity in Coercive Subtyping / Yong Luo ; Zhaohui Luo
A Type-Theoretic Approach to Induction with Higher-Order Encodings / Carsten Schürmann
Analysis of Polymorphically Typed Logic Programs Using ACI-Unification / Jan-Georg Smaus
Experimental Papers / Session 9:
First-Order Atom Definitions Extended / Miyuki Koshimura ; Hiroshi Fujita ; Ryuzo Hasegawa ; Bijan Afshordel ; Thomas Hillenbrand ; Christoph WeidenbachModel Generation with Boolean Constraints:
Automated Proof Support for Interval Logics / Thomas Marthedal Rasmussen
Foundations of Logic / Session 10:
The Functions Provable by First Order Abstraction / Daniel Leivant
A Local System for Classical Logic / Kai Brunnler ; Alwen Fernanto Tiu
CSP and SAT / Session 11:
Partial Implicit Unfolding in the Davis-Putnam Procedure for Quantified Boolean Formulae / Jussi Rintanen
Permutation Problems and Channelling Constraints / Toby Walsh
Simplifying Binary Propositional Theories into Connected Components Twice as Fast / Alvaro del Val
Non-monotonic Reasoning / Session 12:
Reasoning about Evolving Nonmonotonic Knowledge Bases / Thomas Eiter ; Michael Fink ; Giuliana Sabbatini ; Hans Tompits
Efficient Computation of the Well-Founded Model Using Update Propagation / Andreas Behrend
Semantics / Session 13:
Indexed Categories and Bottom-Up Semantics of Logic Programs / Gianluca Amato ; James Lipton
Functional Logic Programming with Failure: A Set-Oriented View / F.J. Lopez-Fraguas ; J. Sanchez-Hernandez
Operational Semantics for Fixed-Point Logics on Constraint Databases / Stephan Kreutzer
Efficient Negation Using Abstract Interpretation / Susana Muñoz ; Juan José Moreno ; Manuel HermenegildoSession 14:
Certifying Synchrony for Free / Sylvain Boulmé ; Grégoire Hamon
A Computer Environment for Writing Ordinary Mathematical Proofs / David McMath ; Marianna Rozenfeld ; Richard Sommer
Termination / Session 15:
On Termination of Meta-programs / Alexander Serebrenik ; Danny De Schreye
A Monotonic Higher-Order Semantic Path Ordering / Cristina Borralleras ; Albert Rubio
Knowledge-Based Systems / Session 16:
The Elog Web Extraction Language / Robert Baumgartner ; Sergio Flesca ; Georg Gottlob
Census Data Repair: A Challenging Application of Disjunctive Logic Programming / Enrico Franconi ; Antonio Laureti Palma ; Nicola Leone ; Simona Perri ; Francesco Scarcello
Analysis of Logic Programs / Session 17:
Boolean Functions for Finite-Tree Dependencies / Roberto Bagnara ; Enea Zaffanella ; Roberta Gori ; Patricia M. Hill
How to Transform an Analyzer into a Verifier / Marco Comini ; Giorgio Levi
Andorra Model Revised: Introducing Nested Domain Variables and a Targeted Search / Rong Yang ; Steve Gregory
Databases and Knowledge Bases / Session 18:
Coherent Composition of Distributed Knowledge-Bases through Abduction / Ofer Arieli ; Bert Van Nuffelen ; Marc Denecker ; Maurice Bruynooghe
Tableaux for Reasoning about Atomic Updates / Georg Moser ; Richard Zach
Inference of Termination Conditions for Numerical Loops in Prolog / Session 19:
Termination of Rewriting with Strategy Annotations / Salvador Lucas
Inferring Termination Conditions for Logic Programs Using Backwards Analysis / Samir Genaim ; Michael Codish
Program Analysis and Proof Planning / Session 20:
Reachability Analysis of Term Rewriting Systems with Timbuk / Thomas Genet ; Valerie Viet Triem Tong
Binding-Time Annotations without Binding-Time Analysis / Wim Vanhoof
Concept Formation via Proof Planning Failure / Raúl Monroy
Author Index
Invited Talk / Session 1:
Monodic Fragments of First-Order Temporal Logics: 2000-2001 A.D / Ian Hodkinson ; Frank Wolter ; Michael Zakharyaschev
Verification / Session 2:
2.

図書

図書
Philippe Codognet (ed.)
出版情報: Berlin ; New York : Springer, c2001  xi, 364 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2237
所蔵情報: loading…
3.

図書

図書
Thomas Eiter, Wolfgang Faber, Mirosław Truszczyński (eds.)
出版情報: Berlin : Springer, c2001  xi, 444 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2173 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Papers
A Computational Logic Approach to Heterogenous Agent Systems / Jürgen Dix
Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto / Robert Baumgartner ; Sergio Flesca ; Georg Gottlob
On the Complexity of Model Checking and Inference in Minimal Models (Extended Abstract) / Lefteris M. Kirousis ; Phokion G. Kolaitis
Data Integration Needs Reasoning / Maurizio Lenzerini
Nonmonotonic Inductive Logic Programming / Chiaki Sakama
Regular Papers
Strong Equivalence for Logic Programs and Default Theories (Made Easy) / Hudson Turner
On the Effect of Default Negation on the Expressiveness of Disjunctive Rules / Tomi Janhunen
On the Expressibility of Stable Logic Programming / V. W. Marek ; J. B. Remmel
On the Relationship between Defeasible Logic and Well-Founded Semantics / Gerhard Brewka
A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs / Kewen Wang
Reasoning with Open Logic Programs / Piero A. Bonatti
Representation of Incomplete Knowledge by Induction of Default Theories / Pascal Nicolas ; Béatrice Duval
Explicitly Using Default Knowledge in Concept Learning: An Extended Description Logics Plus Strict and Default Rules / Véronique Ventos ; Pierre Brézellec ; Henry Soldano
Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming / Chitta Baral ; Cenk Uyan
Bounded LTL Model Checking with Stable Models / Keijo Heljanko ; Ilkka Niemelä
Diagnosing Physical Systems in A-Prolog / Michael Gelfond ; Marcello Balduccini ; Joel Galloway
Planning with Different Forms of Domain-Dependent Control Knowledge -An Answer Set Programming Approach / Tran Cao Son ; Sheila McIlraith
Encoding Solutions of the Frame Problem in Dynamic Logic / Norman Foo ; Dongmo Zhang ; Yan Zhang ; Samir Chopra ; Bao Quoc Vo
E-RES: Reasoning about Actions, Events and Observations / Antonis Kakas ; Rob Miller ; Francesca Toni
Omega-Restricted Logic Programs / Tommi Syrjänen
Improving ASP Instantiators by Join-Ordering Methods / Nicola Leone ; Simona Perri ; Francesco Scarcello
Optimizing the Computation of Heuristics for Answer Set Programming Systems / Wolfgang Faber ; Gerald Pfeifer
New Generation Systems for Non-monotonic Reasoning / Frédéric Saubion ; Igor Stéphan
Algorithms for Computing X-Minimal Models / Chen Avin ; Rachel Ben-Eliyahu - Zohary
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics / Thomas Lukasiewicz
Multi-adjoint Logic Programming with Continuous Semantics / Jesús Medina ; Manuel Ojeda-Aciego ; Peter VojtáÜ
Multi-dimensional Dynamic Knowledge Representation / João Alexandre Leite ; José Júlio Alferes ; LuÆis Moniz Pereira
Antitonic Logic Programs / Carolos Viegas Damásio ; Luis Moniz Pereira
System Descriptions
A-system: Declarative Programming with Abduction / Bert Van Nuffelen
An Update Front-End for Extended Logic Programs / Thomas Eiter ; Michael Fink ; Giuliana Sabbatini ; Hans Tompits
aspps - An Implementation of Answer-Set Programming with Propositional Schemata / Deborah East ; Miroslaw Truszczynski
NoMoRe: A System for Non-Monotonic Reasoning under Answer Set Semantics / Christian Anger ; Kathrin Konczak ; Thomas Linke
plp: A Generic Compiler for Ordered Logic Programs / James P. Delgrande ; Torsten Schaub
Prototypes for Reasoning with Infinite Stable Models and Function Symbols
psmodels: Stable Models Based on Pertinence / Ramon P. Otero
System Description: DLV / Tina Dell'Armi ; Giuseppe Ielpa ; Christoph Koch
System Description: The DLVK Planning System / Axel Polleres
The Smodels System
The USA-Advisor: A Case Study in Answer Set Planning / R. Watson ; M. Nogueira
Author Index
Invited Papers
A Computational Logic Approach to Heterogenous Agent Systems / Jürgen Dix
Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto / Robert Baumgartner ; Sergio Flesca ; Georg Gottlob
4.

図書

図書
Aart Middeldorp, Taisuke Sato (eds.)
出版情報: Berlin : Springer, c1999  x, 368 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1722
所蔵情報: loading…
目次情報: 続きを見る
Semantics and Types in Functional Logic Programming / J. C. González-Moreno ; M. T. Hortalá-González ; M. Rodríguez-Artalejo
Polytypic Programming With Ease (Extended Abstract) / Ralf Hinze
Type Inference for Overloading without Restrictions, Declarations or Annotations / Carlos Camarao ; Lucília Figueiredo
Partial Evaluation and Non-interference for Object Calculi / Gilles Barthe ; Bernard P. Serpette
Lazy Lexing is Fast / Manuel M. T. Chakravarty
A Functional-Logic Perspective of Parsing / Rafael Caballero ; Francisco J. López-Fraguas
Implementing Encapsulated Search for a Lazy Functional Logic Language / Wolfgang Lux
Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers / Armin Kühnemann
Automatic Verification Based on Abstract Interpretation / Mizuhito Ogawa
A Transformation System for Lazy Functional Logic Programs / María Alpuente ; Moreno Falaschi ; Ginés Moreno ; Germán Vidal
Termination Analysis of Tabled Logic Programs Using Mode and Type Information / Sofie Verbaeten ; Danny De Schreye
On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems / Enno Ohlebusch
An Interval Lattice-Based Constraint Solving Framework for Lattices / Antonio J. Fernández ; Patricia M. Hill
Higher Order Matching for Program Transformation / Oege de Moor ; Ganesh Sittampalam
Automated Generalisation of Function Definitions / Adam Bakewell ; Colin Runciman
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping / Olivier Danvy
Using Types as Approximations for Type Checking Prolog Programs / Christoph Beierle ; Gregor Meyer
Typed Static Analysis: Application to Groundness Analysis of Prolog and ?Prolog / Olivier Ridoux ; Patrice Boizumault ; Frédéric Malésieux
A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs / Ernie Johnson ; C. R. Ramakrishnan ; I. V. Ramakrishnan ; Prasad Rao
The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code / Atsushi Ohori
On Reducing the Search Space of Higher-Order Lazy Narrowing.. / Mircea Marin ; Tetsuo Ida ; Taro Suzuki
Typed Higher-Order Narrowing without Higher-Order Strategies / Sergio Antoy ; Andrew Tolmach
A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages / Michael Hanus ; Salvador Lucas
Author Index
Semantics and Types in Functional Logic Programming / J. C. González-Moreno ; M. T. Hortalá-González ; M. Rodríguez-Artalejo
Polytypic Programming With Ease (Extended Abstract) / Ralf Hinze
Type Inference for Overloading without Restrictions, Declarations or Annotations / Carlos Camarao ; Lucília Figueiredo
5.

図書

図書
Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)
出版情報: Berlin : Springer, c1999  xi, 388 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1730 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Contributed Papers
Fixed Parameter Complexity in AI and Nonmonotonic Reasoning / G. Gottlob ; F. Scarcello ; M. Sideri
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power / T. Janhunen19
Locally Determined Logic Programs / D. Cenzer ; J. B. Remmel ; A. Vanderbilt
Annotated Revision Programs / V. Marek ; I. Pivkina ; M. Truszczynski
Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning / J. Sefranek
An Argumentation Framework for Reasoning about Actions and Changes / A. Kakas ; R. Miller ; F. Toni
Representing Transition Systems by Logic Programs / V. Lifschitz ; H. Turner
Transformations of Logic Programs Related to Causality and Planning / E. Erdem
From Causal Theories to Logic Programs (Sometimes) / F. Lin ; K. Wang
Monotone Expansion of Updates in Logical Databases / M. Dekhtyar ; A. Dikovsky ; S. Dudakov ; N. Spyratos
Updating Extended Logic Programs through Abduction / C. Sakama ; K. Inoue
LUPS - A Language for Updating Logic Programs / J. J. Alferes ; L. M. Pereira ; H. Przymusinska ; T. Przymusinski
Pushing Goal Derivation in DLP Computations / W. Faber ; N. Leone ; G. Pfeifer
Linear Tabulated Resolution for Well Founded Semantics / Y. Shen ; L. Yuan ; J. You ; N. Zhou
A Case Study in Using Preference Logic Grammars for Knowledge Representation / B. Cui ; T. Swift ; D. S. Warren
Minimal Founded Semantics for Disjunctive Logic Programming / S. Greco
On the Role of Negation in Choice Logic Programs / M. De Vos ; D. Vermeir
Approximating Reiter's Default Logic / T. Linke ; T. Schaub
Coherent Well-founded Annotated Logic Programs / C. V. Damasio
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics / T. Lukasiewicz
Extending Disjunctive Logic Programming by T-norms / C. Mateis
Extending the Stable Model Semantics with More Expressive Rules / P. Simons
Stable Model Semantics for Weight Constraint Rules / I. Niemelä ; T. Soininen
Towards First-Order Nonmonotonic Reasoning / R. Rosati
Comparison of Sceptical NAF-Free Logic Programming Approaches / G. Antoniou ; M.J. Maher ; Billington ; G. Governatori
Characterizations of Classes of Programs by Three-Valued Operators / P. Hitzler ; A. K. Seda
Invited Talks
Using LPNMR for Problem Specification and Code Generation (Abstract) / M. Cadoli
Answer Set Planning (Abstract)
World-Modeling vs. World-Axiomatizing / D. McAllester
Practical Nonmonotonic Reasoning: Extended Inheritance Techniques to Solve Real-World Problems / L. Morgenstern
Author Index
Contributed Papers
Fixed Parameter Complexity in AI and Nonmonotonic Reasoning / G. Gottlob ; F. Scarcello ; M. Sideri
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power / T. Janhunen19
6.

図書

図書
Catuscia Palamidessi (ed.)
出版情報: Berlin ; Tokyo : Springer, c2003  xii, 520 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2916
所蔵情報: loading…
7.

図書

図書
Vladimir Lifschitz, Ilkka Niemelä (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  ix, 364 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2923 . Lecture notes in artificial intelligence
所蔵情報: loading…
8.

図書

図書
editors, Masato Takeichi, Tetsuo Ida
出版情報: Singapore ; River Edge, N.J. : World Scientific, c1995  x, 329 p. ; 23 cm
所蔵情報: loading…
9.

図書

図書
edited by Dale Miller
出版情報: Cambridge, Mass. : MIT Press, c1993  xxii, 686 p. ; 23 cm
シリーズ名: Logic programming
所蔵情報: loading…
10.

図書

図書
A. Voronkov (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1992  ix, 514 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 592 . Lecture notes in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼