×

Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, Mérida, Venezuela, March 11–15, 2012. Proceedings. (English) Zbl 1238.68012

Lecture Notes in Computer Science 7180. Berlin: Springer (ISBN 978-3-642-28716-9/pbk). xi, 446 p. (2012).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding conference see [Zbl 1197.68008].
Indexed articles:
Albert, Elvira; Arenas, Puri; Genaim, Samir; Gómez-Zamalloa, Miguel; Puebla, Germán, Automatic inference of resource consumption bounds, 1-11 [Zbl 1352.68048]
Accattoli, Beniamino; Kesner, Delia, The permutative \(\lambda \)-calculus, 23-36 [Zbl 1352.03019]
Alama, Jesse; Kühlwein, Daniel; Urban, Josef, Automated and human proofs in general mathematics: an initial comparison, 37-45 [Zbl 1352.68211]
Alberti, Francesco; Bruttomesso, Roberto; Ghilardi, Silvio; Ranise, Silvio; Sharygina, Natasha, Lazy abstraction with interpolants for arrays, 46-61 [Zbl 1352.68141]
Alpuente, María; Ballis, Demis; Frechina, Francisco; Romero, Daniel, Backward trace slicing for conditional rewrite theories, 62-76 [Zbl 1352.68120]
Antoniou, Grigoris; Eiter, Thomas; Wang, Kewen, Forgetting for defeasible logic, 77-91 [Zbl 1352.68225]
Aspinall, David; Denney, Ewen; Lüth, Christoph, Querying proofs, 92-106 [Zbl 1352.68212]
Baader, Franz; Okhotin, Alexander, Solving language equations and disequations with applications to disunification in description logics and monadic set constraints, 107-121 [Zbl 1352.68124]
Beneš, Nikola; Křetínský, Jan; Guldstrand Larsen, Kim; Møller, Mikael H.; Srba, Jiří, Dual-priced modal transition systems with time durations, 122-137 [Zbl 1352.68144]
Borgwardt, Stefan; Morawska, Barbara, Finding finite Herbrand models, 138-152 [Zbl 1352.68093]
Bulwahn, Lukas, Smart testing of functional programs in Isabelle, 153-167 [Zbl 1352.68039]
Bulychev, Peter; David, Alexandre; Guldstrand Larsen, Kim; Legay, Axel; Li, Guangyuan; Bøgsted Poulsen, Danny; Stainer, Amelie, Monitor-based statistical model checking for weighted metric temporal logic, 168-182 [Zbl 1352.68147]
Chacón, José Luis; Pino Pérez, Ramón, Duality between merging operators and social contraction operators, 183-196 [Zbl 1352.03022]
Fietzke, Arnaud; Kruglov, Evgeny; Weidenbach, Christoph, Automatic generation of invariants for circular derivations in SUP(LA), 197-211 [Zbl 1352.03016]
Han, The Anh; Saptawijaya, Ari; Moniz Pereira, Luís, Moral reasoning under uncertainty, 212-227 [Zbl 1352.68243]
Hetzl, Stefan; Leitsch, Alexander; Weller, Daniel, Towards algorithmic cut-introduction, 228-242 [Zbl 1352.68213]
Katebi, Hadi; Sakallah, Karem A.; Markov, Igor L., Conflict anticipation in the search for graph automorphisms, 243-257 [Zbl 1352.68223]
Klein, Dominik; Hirokawa, Nao, Confluence of non-left-linear TRSs via relative termination, 258-273 [Zbl 1352.68121]
Libkin, Leonid; Vrgoč, Domagoj, Regular expressions for data words, 274-288 [Zbl 1352.68136]
Merz, Stephan; Vanzetto, Hernán, Automatic verification of TLA\(^{ + }\) proof obligations with SMT solvers, 289-303 [Zbl 1352.68159]
Morgenstern, Andreas; Gesell, Manuel; Schneider, Klaus, An asymptotically correct finite path semantics for LTL, 304-319 [Zbl 1352.68160]
Neurauter, Friedrich; Middeldorp, Aart, On the domain and dimension hierarchy of matrix interpretations, 320-334 [Zbl 1352.68122]
Hofmann, Martin; Rodriguez, Dulma, Linear constraints over infinite trees, 343-358 [Zbl 1352.68053]
Rümmer, Philipp, E-matching with free variables, 359-374 [Zbl 1352.68214]
Snell, William; Pattinson, Dirk; Widmann, Florian, Solving graded/probabilistic modal logic via linear inequalities (system description), 383-390 [Zbl 1352.68215]
Suda, Martin; Weidenbach, Christoph, Labelled superposition for PLTL, 391-405 [Zbl 1352.68164]
Sutcliffe, Geoff; Schulz, Stephan; Claessen, Koen; Baumgartner, Peter, The TPTP typed first-order form with arithmetic, 406-419 [Zbl 1352.68217]
Winkler, Sarah; Zankl, Harald; Middeldorp, Aart, Ordinals and Knuth-Bendix orders, 420-434 [Zbl 1352.03018]

MSC:

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
03B70 Logic in computer science
68T27 Logic in artificial intelligence
00B25 Proceedings of conferences of miscellaneous specific interest

Citations:

Zbl 1197.68008
PDF BibTeX XML Cite
Full Text: DOI