default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic Journal of the IGPL, Volume 14, 2006
Volume 14, Number 1, January 2006
- Mohammad Ardeshir, Fateme Nabavi:
On some questions of L. Åqvist. 1-13 - Erica Calardo
:
Admissible Inference Rules in the Linear Logic of Knowledge and Time LTK. 15-34 - Altaf Hussain:
A Minimal Hybrid Logic for Intervals. 35-62 - Grigori Mints:
S4 is Topologically Complete for (0, 1): a Short Proof. 63-71 - Tomasz Polacik:
Partially-Elementary Extension Kripke Models: A Characterization and Applications. 73-86 - Tarek Sayed Ahmed:
Independence Results in Algebraic Logic. 87-96
Volume 14, Number 2, March 2006
- Lorenzo Magnani:
Editorial Preface. 101-105
- Lorenzo Magnani:
Multimodal Abduction: External Semiotic Anchors and Hybrid Representations. 107-136 - Sami Paavola, Kai Hakkarainen, Matti Sintonen:
Abduction with Dialogical and Trialogical Means. 137-150 - Giovanni Tuzet:
Projectual Abduction. 151-160 - Peter Bruza, Richard Cole, Dawei Song, Zeeniya Bari:
Towards Operational Abduction from a Cognitive Perspective. 161-177 - Torgeir Knag Fylkesnes:
Abducing Abduction. 179-187 - Dov M. Gabbay, John Woods:
Advice on Abductive Logic. 189-219 - Joke Meheus, Diderik Batens:
A Formal Logic for Abductive Reasoning. 221-236 - Walter Alexandre Carnielli:
Surviving Abduction. 237-256 - Claudio E. A. Pizzi:
Gestalt Effects in Counterfactual and Abductive Inference. 257-269 - Vivek Bharathan, John R. Josephson:
Belief Revision Controlled by Meta-abduction. 271-285 - A. Liliana Reyes-Cabello, Atocha Aliseda-Llera, Ángel Nepomuceno-Fernández:
Towards Abductive Reasoning in First-order Logic. 287-304 - Fernando Soler-Toscano, Ángel Nepomuceno-Fernández, Atocha Aliseda-Llera:
Model-Baded Abduction via Dual Resolution. 305-319 - Pasi Pohjola:
Abductive Reasoning and Linguistic Meaning. 321-332 - Katsumi Inoue, Chiaki Sakama:
Abductive Equivalence in First-order Logic. 333-346 - Stefania Bandini, Alessandro Mosca, Matteo Palmonari:
Intelligent Alarm Correlation and Abductive Reasoning. 347-362 - Bonny Banerjee:
A Layered Abductive Inference Framework for Diagramming Group Motions. 363-378 - Markus C. Becker, Francesco Zirpoli:
Problem-Solving by Abduction in New Product Development. 379-390 - Shangmin Luan, Lorenzo Magnani, Guozhong Dai:
Algorithms for Computing Minimal Conflicts. 391-406
Volume 14, Number 3, June 2006
- Gabriele Kern-Isberner, Wilhelm Rödder:
Editorial. 409-411
- Gerhard Brewka:
Answer Sets and Qualitative Optimization. 413-433 - Philip G. Calabrese:
The Logic of Quantum Measurements in terms of Conditional Events. 435-455 - Lluís Godo, Enrico Marchioni:
Coherent Conditional Probability in a Fuzzy Logic Setting. 457-481 - Wilhelm Rödder, Elmar Reucher, Friedhelm Kulmann:
Features of the Expert-System-Shell SPIRIT. 483-500 - Radim Jirousek:
Data-Based Construction of Multidimensional Probabilistic Models with MUDIM. 501-520
Volume 14, Number 4, August 2006
- Barry Hartley Slater:
Epsilon Calculi. 535-590 - Francisco Kibedi, George Tourlakis:
A Modal Extension of Weak Generalisation Predicate Logic. 591-621 - Tarek Sayed Ahmed:
Some Results on Amalgamation in Algebraic Logic. 623-627
Volume 14, Number 5, October 2006
- Editorial. 631
- Udi Boker, Nachum Dershowitz:
Comparing Computational Power. 633-647 - Jerzy Mycka, José Félix Costa:
Undecidability over Continuous Time. 649-658 - Tatyana Veksler, Nissim Francez:
A Lambek Automaton. 659-708 - Haim Gaifman:
Naming and Diagonalization, from Cantor to Gödel to Kleene. 709-728 - Alex Groce, Doron A. Peled, Mihalis Yannakakis:
Adaptive Model Checking. 729-744 - Hilary Putnam:
After Gödel. 745-754 - Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm:
Verifying Temporal Heap Properties Specified via Evolution Logic. 755-783 - Vladimir Sazonov:
Querying Hyperset/Web-Like Databases. 785-814 - Eli Shamir:
Satisfiability Decay along Conjunctions of Pseudo-Random Clauses. 815-825
Volume 14, Number 6, December 2006
- Rostislav Horcík:
Decidability of Cancellative Extension of Monoidal T-norm Based Logic. 827-843 - Sergio Munoz-Venegas:
Algebraization of Non-structural Logics. 845-866 - Josef Berger, Douglas S. Bridges:
A Bizarre Property Equivalent to the Pi10-Fan Theorem. 867-871 - Lei Liu, Lin Chen:
A Modal Supervaluation Description Logic for Characterization of Vague Concepts: its semantics and a tableau algorithm for it. 873-888 - Seyed Mohammad Bagheri, Massoud Pourmahdian:
Diagram Construction in Intuitionistic Logic. 889-901
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
