BiBfile on Adaptive Logics:

Crossreferences       [
Table of contents]
[Back]
@ARTICLE{DUNG95,
author =       {Phan Minh Dung},
title =        {On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning,
               Logic Programming and n-Person Games},
journal =      {Artificial Intelligence},
volume =       {77},
year =         {1995},
pages =        {321--358},
url =          {http://citeseer.ist.psu.edu/dung95acceptability.html} }

[Back]
@ARTICLE{LG:ldd,
author =       {Lou Goble},
title =        {A Logic for Deontic Dilemmas},
journal =      {Journal of Applied Logic},
volume =       {3},
pages =        {461--483},
year=          {2005} }

[Back]
@ARTICLE{K&PP:mic,
author =       {Konieczny, S\'{e}bastien and Pino P\'{e}rez, Ram\'{o}n},
title =        {Merging Information Under Constraints: {A} Logical Framework},
journal =      {Journal of Logic and Computation},
volume  =      {12},
year =         {2002},
pages =        {773--808} }

[Back]
@article{L&M:rational,
author =       {Daniel Lehmann and Menachem Magidor},
title =        {What does a conditional knowledge base entail?},
journal =      {Artificial Intelligence},
volume =       {55},
number =       {1},
year =         {1992},
issn =         {0004-3702},
pages =        {1--60},
publisher =    {Elsevier Science Publishers Ltd.},
address =      {Essex, UK} }

[Back]
@BOOK{Pearl00,
author =       {Judea Pearl},
year =         {2000},
title =        {Causality. Models, Reasoning, and Inference},
publisher =    {Cambridge University Press},
address =      {Cambridge} }

[Back]
@ARTICLE{RR:tod,
author =       {Raymond Reiter},
year =         {1987},
title =        {A theory of diagnosis from first principles},
journal =      {Artificial Intelligence},
volume =       {32},
pages =        {57--95} }

[Back]
@BOOK{LI98,
title =        {Logical Investigations},
booktitle =    {Logical Investigations},
year =         {1998},
volume =       {5},
address =      {Moscow, ``NAUKA''} }

[Back]
@BOOK{LI01,
title =        {Logical Investigations},
booktitle =    {Logical Investigations},
year =         {2001},
volume =       {8},
address =      {Moscow, ``NAUKA''},
note =         {appeared 2002} }

[Back]
@BOOK{HNVF:f&e,
title =        {Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie},
booktitle =    {Handelingen van de 24ste Nederlands-Vlaamse Filosofiedag: Filosofie en Empirie},
publisher =    {Universiteit Amsterdam},
adress =       {Amsterdam},
year =         {2002},
annote =       {info} }

[Back]
@BOOK{D&CMGPJpVB,
editor =       {Diderik Batens and Chris Mortensen and Graham Priest
               and Van Bendegem, Jean Paul},
title =        {Frontiers of Paraconsistent Logic},
booktitle =    {Frontiers of Paraconsistent Logic},
year =         {2000},
publisher =    {Research Studies Press},
address =      {Baldock, UK} }

[Back]
@BOOK{FB&EG,
editor =       {Fran{\c{c}}ois Beets and {\'{E}}ric Gillet},
year =         {2000},
title =        {Logique en perspective.
                {M}{\'{e}}langes offerts {\`{a}} {P}aul {G}ochet},
booktitle =    {Logique en perspective.
                {M}{\'{e}}langes offerts {\`{a}} {P}aul {G}ochet},
publisher =    {{\'{E}}ditions OUSIA},
address =      {Brussels} }

[Back]
@BOOK{B&C:plwf,
editor =       {Jean-Yves B{\'{e}}ziau and Walter Carnielli and Dov Gabbay},
year =         {2007},
title =        {Handbook of Paraconcistency},
booktitle =    {Handbook of Paraconcistency},
series =       {Studies in Logic: Logic and Cognitive Systems},
volume =       {9},
publisher =    {College Publications},
address =      {London},
isbn =         {978-1-904987-73-4} }

[Back]
@BOOK{wcp00,
editor =       {Walter A. Carnielli and Marcelo E. Coniglio and Loffredo D'Ottaviano, Itala M.},
year =         {2002},
title =        {Paraconsistency. {T}he Logical Way to the Inconsistent},
booktitle =    {Paraconsistency. {T}he Logical Way to the Inconsistent},
publisher =    {Marcel Dekker},
address =      {New York} }

[Back]
@BOOK{MC&SP,
editor =       {Stathis Psillos and Martin Curd},
year =         {2008},
title =        {The Routledge Companion to Philosophy of Science},
booktitle =    {The Routledge Companion to Philosophy of Science},
publisher =    {Routledge},
address =      {London and New York},
isbn =         {978-0-415-35403-5} }

[Back]
@BOOK{shahid,
editor =       {C{\'{e}}dric D{\'{e}}gremont and Laurent Keiff and Helhe R{\"{u}}ckert},
year =         {2009},
title =        {Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman},
booktitle =    {Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman},
publisher =    {College Publications},
address =      {London},
isbn =         {978-1-904987-13-0} }

[Back]
@BOOK{pcl02,
editor =       {Hendrik Decker and J{\o}rgen Villadsen and Toshiharu Waragai},
title =        {PCL 2002. {P}araconsistent Computational Logic},
booktitle =    {PCL 2002. {P}araconsistent Computational Logic},
year =         {2002},
address =      {(= \emph{Data\-logiske Skrifter} vol.~95)} }

[Back]
@BOOK{CD&JL,
editor =       {Claudio Delrieux and Javier Legris},
title =        {Computer Modeling of Scientific Reasoning},
booktitle =    {Computer Modeling of Scientific Reasoning},
year =         {2003},
publisher =    {Universidad Nacional del Sur},
address =      {Bahia Blanca, Argentina} }

[Back]
@BOOK{t2000,
editor =       {Roy Dyckhoff},
title =        {Automated Reasoning with Analytic Tableaux and Related Methods},
booktitle =    {Automated Reasoning with Analytic Tableaux and Related Methods},
series =       {Lecture Notes in Artificial Intelligence},
volume =       {1847},
publisher =    {Springer},
year =         {2000} }

[Back]
@BOOK{FA&P1,
editor =       {Roberto Festa and Atocha Aliseda and Jeanne Peijnenburg},
year =         {2005},
title =        {Confirmation, Empirical Progress, and Truth Approximation.
               {E}ssays in Debate with {T}heo {K}uipers. Vol.~1},
booktitle =    {Confirmation, Empirical Progress, and Truth Approximation.
               {E}ssays in Debate with {T}heo {K}uipers. Vol.~1},
series =       {Poznan Studies in the Philosophy of the Sciences and the Humanities},
volume =       {83},
publisher =    {Rodopi},
address =      {Amsterdam/New York},
annote =       {ISSN 0303-8157} }

[Back]
@BOOK{GRSVB,
editor =       {Dov Gabbay and S. Rahman and J. Symons and J. P. Van Bendegem},
year =         {2004},
title =        {Logic, Epistemology and the Unity of Science},
booktitle =    {Logic, Epistemology and the Unity of Science},
publisher =    {Kluwer Academic Publishers},
address =      {Dordrecht} }

[Back]
@BOOK{FH:M&A,
editor =       {Fernand Hallyn},
year =         {2000},
title =        {Metaphor and Analogy in the Sciences},
booktitle =    {Metaphor and Analogy in the Sciences},
publisher =    {Kluwer},
address =      {Dordrecht} }

[Back]
@BOOK{H&V85,
editor =       {J. Hintikka and F. Vandamme},
title =        {The Logic of Discovery and the Logic of Discourse},
booktitle =    {The Logic of Discovery and the Logic of Discourse},
publisher =    {Plenum Press},
address =      {New York},
year =         {1985} }

[Back]
@BOOK{MK&PY,
editor =       {Mika Kiikeri and Petri Ylikoski},
title =        {Explanatory Connections. {E}lectronic Essays Dedicated to Matti Sintonen},
booktitle =    {Explanatory Connections. {E}lectronic Essays Dedicated to Matti Sintonen},
year =         {2001},
address =      {\texttt{http://www.valt.helsinki.fi/kfil/matti/}},
annote =       {info} }

[Back]
@BOOK{VPetc,
editor =       {Helge Krach and Geert Vanpaemel and Pierre Marage},
title =        {History of Modern Physics. {A}cta of the XXth International Congress of History of Science},
booktitle =    {History of Modern Physics. {A}cta of the XXth International Congress of History of Science},
year =         {2002},
publisher =    {Brepols},
address =      {Turnhout (Belgium)} }

[Back]
@BOOK{LM:abduct,
editor =       {Lorenzo Magnani},
year =         {in print},
title =        {Abduction and Cognition},
booktitle =    {Abduction and Cognition},
series =       {Studies in Logic and Practical Reasoning},
publisher =    {Elsevier} }

[Back]
@BOOK{LM:mbrse,
editor =       {Lorenzo Magnani},
year =         {2006},
title =        {Model Based Reasoning in Science and Engineering.
               Cognitive Science, Epistemology, Logic},
booktitle =    {Model Based Reasoning in Science and Engineering.
               Cognitive Science, Epistemology, Logic},
series =       {Studies in Logic},
volume =       {2},
publisher =    {King's College Publications},
address =      {London} }

[Back]
@BOOK{MN&T,
editor =       {Lorenzo Magnani and Nancy Nersessian and Paul Thagard},
year =         {1999},
title =        {Model-Based Reasoning in Scientific Discovery},
booktitle =    {Model-Based Reasoning in Scientific Discovery},
publisher =    {Kluwer/Plenum},
address =      {Dordrecht} }

[Back]
@BOOK{MN&P:MBR01,
editor =       {Lorenzo Magnani and Nancy J. Nersessian and Claudio Pizzi},
title =        {Logical and Computational Aspects of Model-Based Reasoning},
booktitle =    {Logical and Computational Aspects of Model-Based Reasoning},
publisher =    {Kluwer},
address =      {Dordrecht},
year =         {2002} }

[Back]
@BOOK{MP:Jerzy,
editor =       {Jacek Malinowski and Andrzej Pietruszczak},
year =         {2006},
title =        {Essays in Logic and Ontology},
booktitle =    {Essays in Logic and Ontology},
series =       {Pozna{\'{n}} Studies in the Philosophy of the Sciences and the Humanities},
volume =       {91},
publisher =    {Rodopi},
address =      {Amsterdam/New York},
isbn =         {978-90-420-2130-3} }

[Back]
@BOOK{J:iis,
editor =       {Joke Meheus},
year =         {2002},
title =        {Inconsistency in Science},
booktitle =    {Inconsistency in Science},
publisher =    {Kluwer},
address =      {Dordrecht} }

[Back]
@BOOK{EO:ras,
editor =       {Ewa Or{\l}owska},
year =         {1999},
title =        {Logic at Work.
               {E}ssays Dedicated to the Memory of {H}elena {R}asiowa},
booktitle =    {Logic at Work.
               {E}ssays Dedicated to the Memory of {H}elena {R}asiowa},
publisher =    {Physica Verlag (Springer)},
address =      {Heidelberg, New York} }

[Back]
@BOOK{Pitt,
editor =       {Joseph C. Pitt},
year =         {1985},
title =        {Change and Progress in Modern Science},
booktitle =    {Change and Progress in Modern Science},
publisher =    {Reidel},
address =      {Dordrecht} }

[Back]
@BOOK{P&G:a&psc,
editor =       {Olga Pombo and Alexander Gerner},
year =         {2007},
title =        {Abduction and the Process of Scientific Discovery},
booktitle =    {Abduction and the Process of Scientific Discovery},
publisher =    {Centro de Filosofia das Ciências da Universidade de Lisboa},
address =      {Lisboa} }

[Back]
@BOOK{PR&N,
editor =       {Graham Priest and Richard Routley and Jean Norman},
year =         {1989},
title =        {Paraconsistent Logic. {E}ssays on the Inconsistent},
booktitle =    {Paraconsistent Logic. {E}ssays on the Inconsistent},
publisher =    {Philosophia Verlag},
address =      {M{\"{u}}nchen} }

[Back]
@BOOK{FS:I&Dits,
editor =       {F. Stadler},
title =        {Induction and Deduction in the Sciences},
booktitle =    {Induction and Deduction in the Sciences},
year =         {2004},
publisher =    {Kluwer},
address =      {Dordrecht} }

[Back]
@BOOK{VBVEG&V,
editor =       {Van Benthem, J. and Van Eemeren, F. H. and R. Grootendorst
               and F. Veltman},
year =         {1996},
title =        {Logic and Argumentation},
booktitle =    {Logic and Argumentation},
publisher =    {North-Holland},
address =      {Amsterdam} }

[Back]
@BOOK{V&P:pla2,
editor =       {Fernand Vandamme and Rik Pinxten},
year =         {1989},
title =        {The Philosophy of {L}eo {A}postel},
booktitle =    {The Philosophy of {L}eo {A}postel},
volume =       {2. Descriptive and Critical Essays},
publisher =    {Communication and Cognition},
address =      {Gent} }

[Back]
@BOOK{PW:al,
editor =       {Paul Weingartner},
title =        {Alternative Logics. Do sciences need them?},
booktitle =    {Alternative Logics. Do sciences need them?},
year =         {2004},
publisher =    {Springer},
address =      {Berlin, Heidelberg} }


[Top]