default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Applied Logic, Volume 7
Volume 7, Number 1, March 2009
- Renate A. Schmidt
, Geoff Sutcliffe, Stephan Schulz:
Empirically successful computerized reasoning. 1 - Matt Kaufmann, J Strother Moore, Sandip Ray, Erik Reeber:
Integrating external deduction tools with ACL2. 3-25 - Tjark Weber, Hasan Amjad:
Efficiently checking propositional refutations in HOL theorem provers. 26-40 - Jia Meng, Lawrence C. Paulson:
Lightweight relevance filtering for machine-generated resolution problems. 41-57 - Peter Baumgartner, Alexander Fuchs, Hans de Nivelle, Cesare Tinelli:
Computing finite models by reduction to function-free clause logic. 58-74 - Michael Wessel, Ralf Möller:
Flexible software architectures for ontology-based information systems. 75-99 - Johan Bos:
Applying automated deduction to natural language understanding. 100-112 - Florian Rabe, Petr Pudlák, Geoff Sutcliffe, Weina Shen:
Solving the $100 modal logic challenge. 113-130
Volume 7, Number 2, June 2009
- Fábio Gagliardi Cozman, Rolf Haenni, Jan-Willem Romeijn, Federica Russo, Gregory R. Wheeler, Jon Williamson:
Combining Probability and Logic. 131-135 - Cassio Polpo de Campos, Fábio Gagliardi Cozman, José Eduardo Ochoa Luna:
Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence. 137-154 - Rolf Haenni:
Probabilistic argumentation. 155-176 - Colin Howson:
Can logic be combined with probability? Probably. 177-187 - Bert Leuridan:
Causal discovery and the problem of ignorance. An adaptive logic approach. 188-205 - Niki Pfeifer, Gernot D. Kleiter:
Framing human inference by coherence based probability logic. 206-217 - Kee Siong Ng, John W. Lloyd:
Probabilistic reasoning in a classical logic. 218-238 - Jan Sprenger:
Statistics between inductive logic and empirical science. 239-250
Volume 7, Number 3, September 2009
- Antonis C. Kakas, Peter A. Flach:
Abduction and Induction in Artificial Intelligence. 251 - Tran Hoai Nam, Chitta Baral:
Hypothesizing about signaling networks. 253-274 - Dalal Alrajeh, Oliver Ray, Alessandra Russo, Sebastián Uchitel:
Using abduction and induction for operational requirements elaboration. 275-288 - Gauvain Bourgne, Amal El Fallah Seghrouchni, Nicolas Maudet:
Towards refinement of abductive or inductive hypotheses through propagation. 289-306 - Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima:
Reconsideration of circumscriptive induction with pointwise circumscription. 307-317 - Chiaki Sakama, Katsumi Inoue:
Equivalence issues in abduction and induction. 318-328 - Oliver Ray:
Nonmonotonic abductive inductive learning. 329-340 - Henning Christiansen:
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules. 341-362
Volume 7, Number 4, December 2009
- Giacomo Bonanno, James P. Delgrande, Jérôme Lang, Hans Rott:
Special Issue on Formal Models of Belief Change in Rational Agents. 363 - Isaac Levi:
Why indeterminate probability is rational. 364-376 - David Makinson:
Propositional relevance through letter-sharing. 377-387 - Krister Segerberg:
Blueprint for a dynamic deontic logic. 388-402
- Gustavo Adrian Bodanza, Fernando A. Tohmé:
Two approaches to the problems of self-attacking arguments and general odd-length cycles of attack. 403-420 - Willard L. Miranker, Gregg J. Zuckerman:
Mathematical foundations of consciousness. 421-440 - Pablo F. Castro, T. S. E. Maibaum:
Deontic action logic, atomic boolean algebras and fault-tolerance. 441-466
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 2025-12-04 01:28 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:
