%% This BibTeX bibliography file was created using BibDesk.
%% http://www.cs.ucsd.edu/~mmccrack/bibdesk.html


%% Created for Paul Wong at 2007-06-11 17:22:34 +1000 


%% Saved with string encoding Unicode (UTF-8) 



@inproceedings{AbeAka:00,
	Annote = {pdf available},
	Author = {Abe, J. M. and Akama, S.},
	Booktitle = {Advances in Artificial Intelligence, International Joint Conference, 7th Ibero-American Conference on AI, 15th Brazilian Symposium on AI, IBERAMIA-SBIA 2000, Atibaia, SP, Brazil, November 2000. Proceedings},
	Editor = {Monard, M. C. and Sichman, J. S.},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/AbeAka00.pdf},
	Pages = {217--226},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 1952},
	Title = {{Annotated Temporal Logics $\Delta^{*}\tau$}},
	Year = {2000}}

@article{AbeSka:97,
	Author = {Abe, J. M. and Akama, S.},
	Journal = {Logique Et Analyse},
	Pages = {335--343},
	Title = {{Annotated Logics $Q_{\tau}$ and Ultraproducts}},
	Volume = {160},
	Year = {1997}}

@book{AdaHerStr:acc,
	Annote = {pdf available},
	Author = {Ad\'{a}mek, J. and Herrlich, H. and Strecker, G. E.},
	Date-Added = {2007-03-19 11:43:54 +1100},
	Date-Modified = {2007-03-19 11:59:48 +1100},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/CopyLeftBooks/acc.pdf},
	Publisher = {Free Software Foundation},
	Title = {{Abstract and Concrete Categories: The Joy of Cats}},
	Year = {2004}}

@article{AdaLev:75,
	Annote = {pdf available},
	Author = {Adams, E. W. and Levine, H. P.},
	Date-Modified = {2006-03-24 20:18:52 +1100},
	Journal = {Synthese},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/ProbSat/AdaLev75.pdf},
	Pages = {429--460},
	Title = {{On the Uncertainties Transmitted from Premises to Conclusions in Deductive Inferences}},
	Volume = {30},
	Year = {1975}}

@unpublished{AdaSub:98,
	Author = {Adah, S. and Subrahmanian, V. S.},
	Note = {preprint, Department of Computer Science, University of Maryland},
	Title = {{Amalgamating Knowledge Bases II: Algorithms, Data Structures, and Query Processing}},
	Year = {1998}}

@book{AdaZbi:lom,
	Author = {Adamowicz, Z. and Zbierski, P.},
	Publisher = {John Wiley {\&} Sons, Inc.},
	Title = {{Logic of Mathematics: a Modern Course of Classical Logic}},
	Year = {1997}}

@article{AerBroSme:99,
	Annote = {pdf available},
	Author = {Aerts, D. and Broekaert, J. and Smets, S.},
	Journal = {Foundations of Science},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/AerBroSme99.pdf},
	Pages = {313--340},
	Title = {{Inconsistencies in Constituent Theories of World Views: Quantum Mechanical Examples}},
	Volume = {3},
	Year = {1999}}

@book{AhoHopUll:dsa,
	Author = {Aho, A. V. and Hopcroft, J. E. and Ullman, J. D.},
	Publisher = {Addison-Wesley},
	Title = {{Data Structures and Algorithms}},
	Year = {1983}}

@article{AisGib:99,
	Annote = {pdf available},
	Author = {Aisbett, J. and Gibbon, G.},
	Date-Modified = {2005-02-17 15:01:44 +1100},
	Journal = {Journal of Experiment and Theoretical Artificial Intelligence},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/Semantic_Information/AisGib99.pdf},
	Pages = {201--217},
	Title = {{A Practical Measure of the Information in a Logic Theory}},
	Volume = {11},
	Year = {1999}}

@article{AjiUed:02,
	Annote = {pdf available},
	Author = {Ajiro, Y. and Ueda, K.},
	Journal = {Automated Software Engineering},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/SE_Inconsistent/AjiUed02.pdf},
	Pages = {67--94},
	Title = {{Kima: An Automated Error Correction System for Concurrent Logic Programs}},
	Volume = {9},
	Year = {2002}}

@unpublished{AkaAbe:98,
	Author = {Akama, S. and Abe, J. M.},
	Note = {preprint},
	Title = {{Natural Deduction and General Annotated Logics}},
	Year = {1998}}

@inproceedings{AlcDamPer:02,
	Annote = {pdf available},
	Author = {Alc\^{a}ntara, J. and Dam\'{a}sio, C. V. and Pereira, L. M.},
	Booktitle = {Logic in Artificial Intelligence: European Conference, JELIA 2002, Cosenza, Italy, September, 23--26, 2002. Proceedings},
	Editor = {Flesca, S. and Greco, S. and Leone, N. and Inni, G.},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/AlcDamPer02.pdf},
	Pages = {345--356},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 2424},
	Title = {{Parconsistent Logic Programs}},
	Year = {2002}}

@article{AlcDamPer:05,
	Annote = {pdf available},
	Author = {Alc\^{a}ntara, J. and Dam\'{a}sio, C. V. and Pereira, L. M.},
	Date-Added = {2005-04-17 08:56:35 +1000},
	Date-Modified = {2005-04-17 08:58:48 +1000},
	Journal = {Journal of Applied Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/WoPaLo/AlcDamPer05.pdf},
	Pages = {67--95},
	Title = {{An Encompassing Framework for Paraconsistent Logic Programs}},
	Volume = {3},
	Year = {2005}}

@article{AlcMak:85,
	Annote = {pdf available},
	Author = {Alchourr\'{o}n, C. E. and Makinson, D.},
	Date-Modified = {2007-06-11 15:49:25 +1000},
	Journal = {Studia Logica},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/AGM/AlcMak85.pdf},
	Number = {4},
	Pages = {405--422},
	Title = {{On the Logic of Theory Change: Safe Contraction}},
	Volume = {44},
	Year = {1985}}

@article{AlcMak:86,
	Annote = {pdf available},
	Author = {Alchourr\'{o}n, C. E. and Makinson, D.},
	Date-Modified = {2007-06-11 15:49:35 +1000},
	Journal = {Studia Logica},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/AGM/AlcMak86.pdf},
	Number = {2},
	Pages = {187--198},
	Title = {{Maps Between Some Different Kinds of Contraction Function: the Finite Case}},
	Volume = {45},
	Year = {1986}}

@book{AllBar:lrd,
	Editor = {Allwein, G. and Barwise, J.},
	Publisher = {Oxford University Press},
	Title = {{Logical Reasoning with Diagrams}},
	Year = {1996}}

@article{AllDun:93,
	Annote = {pdf available},
	Author = {Allwein, G. and Dunn, J. M.},
	Date-Modified = {2005-01-22 05:43:35 +1100},
	Journal = {Journal of Symbolic Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/Substructural/AllDun93.pdf},
	Number = {2},
	Pages = {514--545},
	Title = {{Kripke Models for Linear Logic}},
	Volume = {58},
	Year = {1993}}

@inproceedings{AmaBar:02,
	Annote = {pdf available},
	Author = {Amaral, P. and Barahona, P.},
	Booktitle = {Constraint Programming 2002},
	Editor = {P. Van Hentenryck},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/OverConstraint/AmaBar02.pdf},
	Pages = {33--46},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 2470},
	Title = {{On Optimal Correction of Inconsistent Linear Constraints}},
	Year = {2002}}

@inproceedings{AmaPfeLes:99,
	Author = {Amaldi, E. and Pfetsch, M. E. and Trotter, Jr., L. E.},
	Booktitle = {Integer Programming and Combinatorial Optimization: 7th International IPCO Conference, Graz, Austria, June 1999. Proceedings},
	Editor = {Cornu\'{e}jols, G. and Burkard, R. E. and Woeginger, G. J.},
	Pages = {45--59},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 1610},
	Title = {{Some Structural and Algorithmic Properties of the Maximum Feasible Subsystem Problem}},
	Year = {1999}}

@article{AmgCay:02,
	Annote = {pdf available},
	Author = {Amgoud, L. and Cayrol, C.},
	Journal = {Journal of Automated Reasoning},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/AmgCay02.pdf},
	Pages = {125--169},
	Title = {{Inferring from Inconsistency in Preference-Based Argumentation Frameworks}},
	Volume = {29},
	Year = {2002}}

@unpublished{AmiMci:01,
	Author = {Amir, E. and McIlraith, S.},
	Note = {submitted for publication},
	Title = {{Partition-Based Logical Reasoning for First-Order and Propositional Theories}},
	Year = {2000}}

@inproceedings{AmoCarMar:02,
	Annote = {pdf available},
	Author = {de Amo, S. and Carnielli, W. A. and Marcos, J.},
	Booktitle = {Foundations of Information and Knowledge Systems: Second International Symposium, FoIKS 2002},
	Editor = {T. Eiter and K. D. Schewe},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/AmoCarMar02.pdf},
	Pages = {67--84},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 2284},
	Title = {{A Logical Framework for Intergrating Inconsistent Information in Multiple Databases}},
	Year = {2002}}

@book{AndBel:entailment1,
	Author = {Anderson, A. E. and Belnap, N. D.},
	Publisher = {Princeton University Press},
	Title = {{Entailment: the Logic of Relevance and Necessity Vol 1}},
	Year = {1975}}

@book{AndBelDun:entailment2,
	Author = {Anderson, A. E. and Belnap, N. D. and Dunn, J. M.},
	Publisher = {Princeton University Press},
	Title = {{Entailment: the Logic of Relevance and Necessity Vol 2}},
	Year = {1992}}

@article{AndBenNem:95,
	Author = {Andreka, H. and van Benthem, J. and Nemeti, I.},
	Journal = {Journal of the Interest Group in Pure and Applied Logics},
	Pages = {685--720},
	Title = {{Back and Forth Between Modal Logic and Classical Logic}},
	Volume = {3 (5)},
	Year = {1995}}

@article{AndHoo:96,
	Author = {Andersen, K. A. and Hooker, J. N.},
	Journal = {Decision Support Systems},
	Pages = {39--53},
	Title = {{A Linear Programming Framework for Logics of Uncertainty}},
	Volume = {16},
	Year = {1996}}

@article{AndPre:01,
	Annote = {pdf available},
	Author = {Anderson, K. A. and Pretolani, D.},
	Date-Added = {2005-02-15 21:34:24 +1100},
	Date-Modified = {2005-02-15 21:36:37 +1100},
	Journal = {Annals of Mathematics and Artificial Intelligence},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/ProbSat/AndPre01.pdf},
	Pages = {69--91},
	Title = {{Easy Cases of Probabilistic Satisfiability}},
	Volume = {33},
	Year = {2001}}

@inproceedings{AngSca:04,
	Annote = {pdf available},
	Author = {Angelotti, E. S. and Scalabrin, E. E.},
	Booktitle = {ISSADS 2004},
	Editor = {Ramos, F. F. and Unger, H. and Larios, V.},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/AngSca04.pdf},
	Pages = {91--104},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 3061},
	Title = {{Cognitive Agents and Paraconsistent Logic}},
	Year = {2004}}

@inproceedings{AntMacFoo:96,
	Author = {Antoniou, G. and MacNish, C. K. and Foo, N. Y.},
	Booktitle = {Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, 1996},
	Editor = {Foo, N. Y. and Goebel, R.},
	Pages = {558--569},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 1114},
	Title = {{Conservative Expansion Concepts for Default Theories}},
	Year = {1996}}

@inproceedings{AntOneThu:96,
	Author = {Antoniou, G. and O'Neill, T. and Thurbon, J.},
	Booktitle = {Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, 1996},
	Editor = {Foo, N. Y. and Goebel, R.},
	Pages = {558--569},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 1114},
	Title = {{Studying Properties of Classes of Default Logics -- Preliminary Report}},
	Year = {1996}}

@article{ApoBro:95,
	Annote = {pdf available},
	Author = {Apostoli, P. J. and Brown, B.},
	Date-Modified = {2005-01-22 05:30:02 +1100},
	Journal = {Journal of Symbolic Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/ModalLogic/ApoBro95.pdf},
	Number = {3},
	Pages = {832--842},
	Title = {{A Solution to the Completeness Problem for Weakly Aggregative Modal Logic}},
	Volume = {60},
	Year = {1995}}

@unpublished{ApoKan:partcontinuum,
	Annote = {pdf available},
	Author = {Apostoli, P. J. and Kanda, A.},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/ManualScripts/CFG12.pdf},
	Note = {manuscript},
	Title = {{Parts of the Continuum: Towards a Modern Ontology of Science}},
	Year = {1998}}

@book{AppVan:plpp,
	Annote = {my collection},
	Author = {Appleby, D. and VandeKopple, J. J.},
	Publisher = {McGraw Hill},
	Title = {{Programming Languages: Paradigm and Practice}},
	Year = {1997}}

@inproceedings{AreBerCho:01,
	Annote = {pdf available},
	Author = {Arenas, M. and Bertossi, L. and Chomicki, J.},
	Booktitle = {ICDT 2001},
	Editor = {J. Van den Bussche and V. Vianu},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/AreBerCho01.pdf},
	Pages = {39--53},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 1973},
	Title = {{Scalar Aggregation in FD-Inconsistent Databases}},
	Year = {2001}}

@inproceedings{AreBerCho:99,
	Author = {Arenas, M. and Bertossi, L. and Chomicki, J.},
	Booktitle = {Proceedings of the Eighteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 1999 Philadelphia, PA USA},
	Pages = {68--79},
	Publisher = {ACM},
	Title = {{Consistent Query Answers in Inconsistent Databases}},
	Year = {1999}}

@inproceedings{AreBerKif:00,
	Annote = {pdf available},
	Author = {Arenas, M. and Bertossi, L. and Kifer, M.},
	Booktitle = {Computational Logic - CL 2000, First International Conference, London, UK, July 2000. Proceedings},
	Editor = {Lloyd, J. W. and Dahl, V. and Furbach, U. and Kerber, M. and Lau, K. K. and Palamidessi, C. and Moniz Pereira, L. and Sagiv, Y. and Stuckey, P. J.},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/AreBerKif00.pdf},
	Pages = {926--941},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 1861},
	Title = {{Applications of Annotated Predicate Calculus to Querying Inconsistent Databases}},
	Year = {2000}}

@incollection{AreFanLib:05,
	Annote = {pdf available},
	Author = {Arenas, M. and Fan, W. and Libkin, L.},
	Booktitle = {Inconsistency Tolerance},
	Date-Modified = {2005-01-20 07:44:49 +1100},
	Editor = {Leopoldo Bertossi, Anthony Hunter and Torsten Schaub},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/InconsistencyTolerance/LNCS_Volume/content02.pdf},
	Pages = {15 -- 41},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 3300},
	Title = {{Consistency of XML Specifications}},
	Year = {2005}}

@inproceedings{AriAvr:94,
	Author = {Arieli, O. and Avron, A.},
	Booktitle = {Proceedings of the 9th Annual Symposium on Logic in Computer Science (LICS 94)},
	Pages = {468--476},
	Publisher = {IEEE Press},
	Title = {{Logical Bilattices and Inconsistent Data}},
	Year = {1994}}

@inproceedings{AriAvr:95,
	Author = {Arieli, O. and Avron, A.},
	Booktitle = {Proceedings of the 4th Bar-Ilan Symposium on Foundations of Artificial Intelligence (BISFAI 95)},
	Pages = {14--23},
	Publisher = {AAAI Press},
	Title = {{A Bilattice-Based Approach to Recover Consistent Data From Inconsistent Knowledge-Bases}},
	Year = {1995}}

@article{AriAvr:96a,
	Annote = {pdf available},
	Author = {Arieli, O. and Avron, A.},
	Date-Modified = {2006-04-08 17:09:15 +1000},
	Journal = {Journal of Logic, Language, and Information},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/AriAvr96a.pdf},
	Pages = {25--63},
	Title = {{Reasoning with Logical Bilattices}},
	Volume = {5},
	Year = {1996}}

@inproceedings{AriAvr:96b,
	Author = {Arieli, O. and Avron, A.},
	Booktitle = {Computer Science Logic},
	Pages = {1--17},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 1258},
	Title = {{Four-Valued Diagnoses for Stratified Knowledge-Bases}},
	Year = {1996}}

@inproceedings{AriAvr:96c,
	Author = {Arieli, O. and Avron, A.},
	Booktitle = {Proceedings of the 8th International Conference on Tools with Artificial Intelligence (TAI 96)},
	Pages = {392--399},
	Publisher = {IEEE Press},
	Title = {{Automatic Diagnoses for Properly Stratified Knowledge-Bases}},
	Year = {1996}}

@inproceedings{AriAvr:97,
	Author = {Arieli, O. and Avron, A.},
	Booktitle = {Proceedings of the 1st World Conference on Paraconsistency (WCP 97)},
	Title = {{Bilattices and Paraconsistency}},
	Year = {1997}}

@article{AriAvr:98b,
	Annote = {pdf available},
	Author = {Arieli, O. and Avron, A.},
	Date-Modified = {2005-02-15 16:08:41 +1100},
	Journal = {Artificial Intelligence},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/AriAvr98.pdf},
	Number = {1},
	Pages = {97--141},
	Title = {{The Value of the Four Values}},
	Volume = {102},
	Year = {1998}}

@inproceedings{AriAvr:98c,
	Author = {Arieli, O. and Avron, A.},
	Booktitle = {Proceedings of the Annual Conference on Computer Logic (CSL 98)},
	Title = {{Using Four Values for Computerized Reasoning}},
	Year = {1998}}

@inproceedings{AriAvr:98d,
	Author = {Arieli, O. and Avron, A.},
	Booktitle = {Proceedings of the 13th Annual Symposium on Logic in Computer Science (LICS 98)},
	Pages = {118--126},
	Publisher = {IEEE Press},
	Title = {{The Logical Role of the Four-Valued Bilattice}},
	Year = {1998}}

@article{AriAvr:99,
	Annote = {pdf available},
	Author = {Arieli, O. and Avron, A.},
	Journal = {Journal of Automated Reasoning},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/AriAvr99.pdf},
	Pages = {263--309},
	Title = {{A Model-Theoretic Approach for Recovering Consistent Data From Inconsistent Knowledge-Bases}},
	Volume = {22},
	Year = {1999}}

@inproceedings{AriAvr:99a,
	Annote = {pdf available},
	Author = {Arieli, O. and Avron, A.},
	Booktitle = {Fifth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ESQARU 1999)},
	Editor = {Hunter, A. and Parson, S.},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/AriAvr99a.pdf},
	Pages = {11--21},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 1638},
	Title = {{Nonmonotonic and Paraconsistent Reasoning: From Basic Entailments to Plausible Relations}},
	Year = {1999}}

@inproceedings{AriDen:02,
	Annote = {pdf available},
	Author = {Arieli, O. and Denecker, M.},
	Booktitle = {Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems (FoIKS)},
	Editor = {Eiter, T. and Schewe, K-D.},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/AriDen02.pdf},
	Pages = {1--14},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 2284},
	Title = {{Modelling Paraconsistent Reasoning by Classical Logic}},
	Year = {2002}}

@article{AriDen:03,
	Annote = {pdf available},
	Author = {Arieli, O. and Denecker, M.},
	Journal = {Journal of Logic and Computation},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/AriDen03.pdf},
	Pages = {557--580},
	Title = {{Reducing Preferential Paraconsistent Reasoning to Classical Entailment}},
	Volume = {13 (4)},
	Year = {2003}}

@proceedings{ArrChuCos:mlla,
	Editor = {Arruda, A. I. and Chuaqui, R. and Da Costa, N. C. A.},
	Publisher = {North-Holland},
	Title = {{Mathematical Logic in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978}},
	Year = {1980}}

@proceedings{ArrChuCos:nmc,
	Editor = {Arruda, A. I. and Chuaqui, R. and Da Costa, N. C. A.},
	Publisher = {North-Holland},
	Title = {{Non-Classical Logics, Model theory, and Computability: Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976}},
	Year = {1977}}

@article{ArrCos:84,
	Annote = {pdf available},
	Author = {Arruda, A. I. and da Costa, N. C. A.},
	Date-Modified = {2006-02-25 17:29:47 +1100},
	Journal = {Studia Logica},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/StudiaLogicaParaconsistency/ArrCos84.pdf},
	Number = {1--2},
	Pages = {33--49},
	Title = {{On the Relevant Systems and P* and Some Related Systems}},
	Volume = {43},
	Year = {1984}}

@unpublished{ArtGov:98,
	Author = {Artosi, A. and Governatori, G.},
	Note = {preprint},
	Title = {{Labelled Tableau Calculi for Nonmonotonic Consequence Relation}},
	Year = {1998}}

@article{AseTam:75,
	Annote = {pdf available},
	Author = {Asenjo, F. G. and Tamburino, J.},
	Journal = {Notre Dame Journal of Formal Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/AseTam75.pdf},
	Pages = {17--44},
	Title = {{Logic of Antinomies}},
	Volume = {16 (1)},
	Year = {1975}}

@book{AttWel:dc,
	Annote = {my collection},
	Author = {Attiya, H. and Welch, J.},
	Publisher = {McGraw Hill},
	Title = {{Distributed Computing: Fundamentals, Simulations and Advanced Topics}},
	Year = {1998}}

@article{AvrKon:01,
	Annote = {pdf available},
	Author = {Avron, A. and Konikowska, B.},
	Date-Modified = {2007-06-11 15:53:46 +1000},
	Journal = {Studia Logica},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/Misc/AvrKon01.pdf},
	Number = {2},
	Title = {{Decomposition Proof Systems for G\"{o}del-Dummett Logics}},
	Volume = {69},
	Year = {2001}}

@inproceedings{BaaHor:94,
	Author = {Baaz, M. and H\"{o}rwein, K.},
	Booktitle = {KI-94: Advances in Artificial Intelligence},
	Date-Modified = {2007-06-11 15:54:19 +1000},
	Pages = {392},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 861},
	Title = {{A New Frame for Common-Sense Reasoning Towards Local Inconsistencies}},
	Year = {1994}}

@inproceedings{BagKel:02,
	Annote = {pdf available},
	Author = {Bagai, R. and Kelley, S. J.},
	Booktitle = {Soft-Ware 2002},
	Editor = {D. Bustard, W. Liu and R. Steritt},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/BagKel02.pdf},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 2311},
	Title = {{Paraconsistency in Object-Oriented Databases}},
	Year = {2002}}

@inproceedings{BagOrg:95,
	Author = {Bagai, R. and Orgun, M. A.},
	Booktitle = {Proceedings of the 33rd Annual ACM Southeast Conference},
	Pages = {240--248},
	Title = {{A Temporal Paraconsistent Relational Algebra for Incomplete and Inconsistent Information}},
	Year = {1995}}

@article{BagSun:95,
	Author = {Bagai, R. and Sunderraman, R.},
	Journal = {International Journal of Computer Mathematics},
	Pages = {39--55},
	Title = {{A Paraconsistent Relational Data Model}},
	Volume = {55},
	Year = {1995}}

@article{BagSun:96a,
	Author = {Bagai, R. and Sunderraman, R.},
	Journal = {International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems},
	Pages = {157--175},
	Title = {{Computing the Well-Founded Model of Deductive Databases}},
	Volume = {4 (2)},
	Year = {1996}}

@article{BagSun:96b,
	Author = {Bagai, R. and Sunderraman, R.},
	Journal = {Journal of Intelligent Information Systems},
	Pages = {59--79},
	Title = {{Bottom-Up Computation of the Fitting Model for General Deductive Databases}},
	Volume = {6 (1)},
	Year = {1996}}

@inproceedings{BakDikTemWog:93,
	Annote = {pdf available},
	Author = {Bakker, R. R. and Dikker, F. and Tempelman, F. and Wognum, P. M.},
	Booktitle = {Proceedings of the Thirteenth International Joint Conferences on Artificial Intelligence},
	Date-Modified = {2005-02-15 20:57:51 +1100},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/OverConstraint/BakDikTemWog93.pdf},
	Pages = {276--281},
	Title = {{Diagnosing and Solving Over-Determined Constraint Satisfaction Problems}},
	Volume = {1},
	Year = {1993}}

@article{BamGooNgu:01,
	Author = {Bamber, D. and Goodman, I. R. and Nguyen, H. T.},
	Journal = {Information Sciences},
	Pages = {195--250},
	Title = {{Extension of the Concept of Propositional Deduction from Classical Logic to Probability: an Overview of Probability-Selection Approaches}},
	Volume = {131},
	Year = {2001}}

@unpublished{BarEtc:97,
	Author = {Barwise, J. and Etchemendy, J.},
	Note = {preprint, Department of Computer Science, Mathematics and Philosophy, Indiana University and Department of Philosophy, Stanford University},
	Title = {{Computers, Visualization, and the Nature of Reasoning}},
	Year = {1997}}

@book{BarEtc:tw,
	Author = {Barwise, J. and Etchemendy, J.},
	Publisher = {CSLI},
	Title = {{Tarski's World}},
	Year = {1993}}

@book{BarFef:mtl,
	Editor = {Barwise, J. and Feferman, S.},
	Publisher = {Springer Verlag},
	Title = {{Model-Theoretic Logics}},
	Year = {1985}}

@article{BarGabHar:95,
	Author = {Barwise, J. and Gabbay, D. M. and Hartonas, C.},
	Journal = {Journal of the Interest Group in Pure and Applied Logics},
	Pages = {7--49},
	Title = {{On the Logic of Information Flow}},
	Volume = {3 (1)},
	Year = {1995}}

@incollection{BarGabHar:96,
	Author = {Barwise, J. and Gabbay, D. M. and Hartonas, C.},
	Booktitle = {Logic, Language and Computation Volume 1},
	Editor = {Seligman, J. and Westerstahl, D.},
	Pages = {49--64},
	Publisher = {CSLI},
	Title = {{Information Flow and the Lambek Calculus}},
	Year = {1996}}

@incollection{BarHam:94,
	Author = {Barwise, J. and Hammer, E. M.},
	Booktitle = {What is a Logical System?},
	Editor = {Gabbay, D. M.},
	Pages = {73--106},
	Publisher = {Oxford University Press},
	Title = {{Diagrams and the Concept of Logical System}},
	Year = {1994}}

@article{BarKraMin:91,
	Annote = {pdf available},
	Author = {Baral, C. and Kraus, S. and Minker, J.},
	Journal = {IEEE Transactions on Knowledge and Data Engineering},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/BarKraMin91.pdf},
	Pages = {208--220},
	Title = {{Combining Multiple Knowledge Bases}},
	Volume = {3 (2)},
	Year = {1991}}

@article{BarKraMinSub:92,
	Author = {Baral, C. and Kraus, S. and Minker, J. and Subrahmanian, V. S.},
	Journal = {Computational Intelligence},
	Pages = {45--71},
	Title = {{Combining Knowledge Bases Consisting of First-Order Theories}},
	Volume = {8 (1)},
	Year = {1992}}

@article{BarMos:91,
	Author = {Barwise, J. and Moss, L. S.},
	Journal = {The Mathematical Intellgencier},
	Pages = {31--41},
	Title = {{Hypersets}},
	Volume = {13 (4)},
	Year = {1991}}

@article{BarMos:98,
	Annote = {pdf available},
	Author = {Barwise, J. and Moss, L. S.},
	Date-Modified = {2005-01-22 06:10:58 +1100},
	Journal = {Journal of Philosophical Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/ModalLogic/BarMos98.pdf},
	Number = {396},
	Pages = {275--194},
	Title = {{Modal Correspondence for Models}},
	Volume = {27},
	Year = {1998}}

@book{BarMos:vc,
	Author = {Barwise, J. and Moss, L. S.},
	Publisher = {CSLI},
	Title = {{Vicious Circles}},
	Year = {1996}}

@book{BarSel:if,
	Author = {Barwise, J. and Seligman, J.},
	Publisher = {Cambridge University Press},
	Title = {{Information Flow: the Logic of Distributed Systems}},
	Year = {1997}}

@book{BarWel:ttt,
	Annote = {pdf available},
	Author = {Barr, M. and Wells, C.},
	Date-Added = {2007-03-19 11:56:44 +1100},
	Date-Modified = {2007-03-19 11:59:20 +1100},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/CopyLeftBooks/tt.pdf},
	Publisher = {Electronic version 1.1 Springer-Verlag},
	Title = {{Toposes, Triples and Theories}},
	Year = {2002}}

@article{BasMatVig:98,
	Annote = {pdf available},
	Author = {Basin, D. and Matthews, S. and Viga\`{o}, L.},
	Date-Modified = {2005-01-22 06:20:13 +1100},
	Journal = {Studia Logica},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/Misc/BasMatVig98.pdf},
	Number = {1},
	Pages = {119--160},
	Title = {{Natural Deduction for Non-Classical Logics}},
	Volume = {60},
	Year = {1998}}

@unpublished{BasVig:98,
	Author = {Basin, D. and Viga\`{o}, L.},
	Date-Modified = {2007-06-11 15:55:14 +1000},
	Note = {preprint},
	Title = {{A Recipe for the Complexity Analysis of Non-Classical Logics}},
	Year = {1998}}

@article{BatBen:85,
	Author = {Batens, D. and van Bendegem, J. P.},
	Journal = {Logique Et Analyse},
	Pages = {21--31},
	Title = {{Relevant Derivability and Classical Derivability in Fitch-Sytle and Axiomatic Formulations of Relevant Logics}},
	Volume = {28},
	Year = {1985}}

@unpublished{BatCle:99,
	Author = {Batens, D. and de Clercq, K.},
	Note = {preprint, Center for Logic and Philosophy of Science, University of Ghent, Belgium},
	Title = {{Simplified Dynamic Proof Formats for Adaptive Logics}},
	Year = {1999}}

@unpublished{BatCleKur:99,
	Author = {Batens, D. and de Clercq, K. and Kurtonina, N.},
	Note = {preprint, Center for Logic and Philosophy of Science, University of Ghent, Belgium},
	Title = {{Embedding and Interpolation for Some Paralogics: The Propositional Case}},
	Year = {1999}}

@article{BatMeh:00,
	Annote = {pdf available},
	Author = {Batens, D. and Meheus, J.},
	Journal = {Studia Logica},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/BatMeh00.pdf},
	Pages = {327--348},
	Title = {{The Adaptive Logic of Compatibility}},
	Volume = {66},
	Year = {2000}}

@article{BatMeh:01,
	Annote = {pdf available},
	Author = {Batens, D. and Meheus, J.},
	Journal = {Studia Logica},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/BatMeh01.pdf},
	Pages = {221--248},
	Title = {{Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics}},
	Volume = {69},
	Year = {2001}}

@book{BatMorPriBen:fpl,
	Editor = {Batens, D. and Mortensen, C. and Priest, G. and Van Bendegem, J. P.},
	Number = {8},
	Publisher = {Research Studies Press},
	Series = {Studies in Logic and Computation},
	Title = {{Frontiers of Paraconsistent Logic}},
	Year = {2000}}

@inproceedings{BayPeh:00,
	Author = {Bayardo Jr., R. J. and Pehoushek, J. D.},
	Booktitle = {Proceeding of the National Conference on Artificial Intelligence (AAAI-2000)},
	Title = {{Counting Models Using Connected Components}},
	Year = {2000}}

@unpublished{BeaRes:98,
	Author = {Beall, J. C. and Restall, G.},
	Note = {preprint},
	Title = {{Logical Pluralism}},
	Year = {1998}}

@article{BecFig05,
	Annote = {pdf available},
	Author = {Becher, V. and Figueira, S.},
	Date-Added = {2005-12-04 10:18:07 +1100},
	Date-Modified = {2006-04-11 21:19:36 +1000},
	Journal = {Journal of Logic, Language, and Information},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/Semantic_Information/BecFig05.pdf},
	Pages = {133--148},
	Title = {{Kolmogorov Complexity for Possibly Infinite Computations}},
	Volume = {14},
	Year = {2005}}

@unpublished{BecHahMan:98,
	Author = {Beckert, B. and H\"{a}hnle, R. and Many\`{a}, F.},
	Note = {preprint},
	Title = {{Transformations Between Signed and Classical Clause Logic}},
	Year = {1998}}

@article{BelNerNgSub:94,
	Annote = {pdf available},
	Author = {Bell, C. and Nerode, A. and Ng, R. T. and Subrahmanian, V. S.},
	Date-Modified = {2006-02-25 17:15:33 +1100},
	Journal = {Journal of the ACM},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/BelNerNgSub94.pdf},
	Pages = {1178--1215},
	Title = {{Mixed Integer Programming Methods for Computing Nonmonotonic Deductive Databases}},
	Volume = {41 (6)},
	Year = {1994}}

@book{BelSlo:mau,
	Author = {Bell, J. L. and Slomson, A. B.},
	Publisher = {North-Holland},
	Title = {{Models and Ultraproducts: An Introduction}},
	Year = {1971}}

@book{BelSte:lqa,
	Author = {Belnap, N. D. and Steel, T. B.},
	Publisher = {Yale University Press},
	Title = {{The Logic of Questions and Answers}},
	Year = {1976}}

@article{BenBen:00,
	Annote = {pdf available},
	Author = {Ben-David, S. and Ben-Eliyahu, R.},
	Date-Modified = {2005-02-16 15:00:19 +1100},
	Journal = {Artificial Intelligence},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/AI/BenBen00.pdf},
	Pages = {217--236},
	Title = {{A Modal Logic for Subjective Default Reasoning}},
	Volume = {116},
	Year = {2000}}

@inproceedings{BenCayDubLanPra:93,
	Author = {Benferhat, S. and Cayrol, C. and Dubois, D. and Lang, J. and Prade, H.},
	Booktitle = {Proceedings of the Thirteenth International Joint Conferences on Artificial Intelligence},
	Pages = {640--645},
	Title = {{Inconsistency Management and Prioritized Syntax-Based Entailment}},
	Volume = {1},
	Year = {1993}}

@incollection{BenCheMon:97,
	Author = {Benferhat, S. and Chehire, T. and Monai, F. F.},
	Booktitle = {Fuzzy Information Engineering: a Guided Tour of Application},
	Editor = {Dubois, D. and Prade, H. and Yager, R. R.},
	Pages = {417--436},
	Publisher = {John Wiley {\&} Sons, Inc.},
	Title = {{Possibilistic ATMS in a Data Fusion Problem}},
	Year = {1997}}

@article{BenDec:96,
	Annote = {pdf available},
	Author = {Ben-Eliyahu, R. and Dechter, R.},
	Date-Modified = {2005-02-16 14:56:47 +1100},
	Journal = {Artificial Intelligence},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/AI/BenDec96.pdf},
	Number = {1--2},
	Pages = {113--150},
	Title = {{Default Reasoning Using Classical Logic}},
	Volume = {84},
	Year = {1996}}

@inproceedings{BenDubPra:95a,
	Author = {Benferhat, S. and Dubois, D. and Prade, H.},
	Booktitle = {Proceedings of the Foureenth International Joint Conferences on Artificial Intelligence},
	Pages = {1449--1455},
	Title = {{How to Infer from Inconsistent Beliefs without Revising?}},
	Year = {1995}}

@inproceedings{BenDubPra:95b,
	Author = {Benferhat, S. and Dubois, D. and Prade, H.},
	Booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty 95},
	Pages = {36--43},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 946},
	Title = {{A Local Approach to Reasoning Under Inconsistency in Stratified Knowledge Bases}},
	Year = {1995}}

@inproceedings{BenDubPra:96,
	Author = {Benferhat, S. and Dubois, D. and Prade, H.},
	Booktitle = {International Symposium on Multiple-Valued Logic},
	Pages = {189--184},
	Title = {{Reasoning in Inconsistent Stratified Knowledge Bases}},
	Year = {1996}}

@article{BenDubPra:97,
	Annote = {pdf available},
	Author = {Benferhat, S. and Dubois, D. and Prade, H.},
	Journal = {Studia Logica},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/BenDubPra97.pdf},
	Pages = {17--45},
	Title = {{Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: a Comparative Study, Part I: the Flat Case}},
	Volume = {58 (1)},
	Year = {1997}}

@incollection{BenDubPra:99a,
	Author = {Benferhat, S. and Dubois, D. and Prade, H.},
	Booktitle = {Logic at Work: Essays Dedicated to the Memory of Helen Rasiowa},
	Editor = {Orłowska, E.},
	Pages = {437--511},
	Publisher = {Physica-Verlag},
	Series = {Studies in Fuzziness and Soft Computing vol 24},
	Title = {{Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: a Comparative Study Part 2: the Prioritized Case}},
	Year = {1999}}

@incollection{BenDubPra:99b,
	Author = {Benferhat, S. and Dubois, D. and Prade, H.},
	Booktitle = {Fuzzy Sets, Logics and Reasoning About Knowledge},
	Editor = {Dubois, D. and Klement, E. P. and Prade, H.},
	Pages = {395--418},
	Publisher = {Kluwer Academic Pub.},
	Series = {Applied Logic Series vol 15},
	Title = {{An Overview of Inconsistency-tolerant Inferences In Prioritized Knowledge Bases}},
	Year = {1999}}

@article{BenGar:02,
	Annote = {pdf available},
	Author = {Benferhat, S. and Garcia, L.},
	Journal = {Studia Logica},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/BenGar02.pdf},
	Pages = {77--104},
	Title = {{Handling Locally Stratified Inconsistent Knowledge Bases}},
	Volume = {70},
	Year = {2002}}

@incollection{BenGar:99,
	Author = {Benferhat, S. and Garcia, L.},
	Booktitle = {Applications of Uncertainty Formalisms},
	Editor = {Hunter, A. and Parson, S.},
	Pages = {325--353},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 1455},
	Title = {{A Local Handling of Inconsistent Knowledge and Default Bases}},
	Year = {1998}}

@inproceedings{BenLanDubPraSafSem:98,
	Author = {Benferhat, S. and Lang, J. and Dubois, D. and Prade, H. and Saffiotti, A. and Smets, P.},
	Booktitle = {Proceedings: 15th National Conference on Artificial Intelligence (AAAI-98) and 10th Conference on Innovative Applications of Artificial Intelligence (IAAI-98)},
	Publisher = {AAAI-MIT Press},
	Title = {{Reasoning Under Inconsistency Based on Implicitly-specified Partial Qualitative Probability Relations: a Unified Framework}},
	Year = {1998}}

@book{BenPut:pom,
	Editor = {Benacerraf, P. and Putnam, H.},
	Publisher = {Cambridge University Press},
	Title = {{Philosophy of Mathematics: Selected Reading (2nd ed.)}},
	Year = {1983}}

@incollection{BerBra:05,
	Annote = {pdf available},
	Author = {Bertossi, L. and Bravo, L.},
	Booktitle = {Inconsistency Tolerance},
	Date-Modified = {2005-01-20 07:45:45 +1100},
	Editor = {Leopoldo Bertossi, Anthony Hunter and Torsten Schaub},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/InconsistencyTolerance/LNCS_Volume/content03.pdf},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 3300},
	Title = {{Consistent Query Answers in Virtual Data Integration Systems}},
	Year = {2005}}

@article{BerCohLiu:98,
	Author = {Berthold, M. and Cohen, P. and Liu, X.},
	Journal = {AI Magazine},
	Pages = {131--134},
	Title = {{Intelligent Data Analysis}},
	Volume = {19 (4)},
	Year = {1998}}

@incollection{BerHunSch:05,
	Annote = {pdf available},
	Author = {Bertossi, L. and Hunter, A. and Schaub, T.},
	Booktitle = {Inconsistency Tolerance},
	Date-Modified = {2005-01-20 07:43:37 +1100},
	Editor = {Leopoldo Bertossi, Anthony Hunter and Torsten Schaub},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/InconsistencyTolerance/LNCS_Volume/content01.pdf},
	Pages = {1 -- 14},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 3300},
	Title = {{Introduction to Inconsistency Tolerance}},
	Year = {2005}}

@book{BerMooNel:lb,
	Author = {Bergman, M. and Moor, J. and Nelson, J.},
	Publisher = {McGraw-Hill},
	Title = {{The Logic Book: Second Edition}},
	Year = {1990}}

@article{BerSch:04,
	Annote = {pdf available},
	Author = {Bertossi, L. and Schwind, C.},
	Date-Modified = {2006-04-17 22:01:43 +1000},
	Journal = {Annals of Mathematics and Artificial Intelligence},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/BerSch04.pdf},
	Pages = {5--35},
	Title = {{Database Repairs and Analytic Tableaux}},
	Volume = {40},
	Year = {2004}}

@article{BesFanSch:03,
	Annote = {pdf available},
	Author = {Besnard, P. and Fanselow, G. and Schaub, T.},
	Journal = {Journal of Logic, Language, and Information},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/BesFanSch03.pdf},
	Pages = {153--182},
	Title = {{Optimality Theory as a Family of Cumulative Logics}},
	Volume = {125},
	Year = {2003}}

@incollection{BesFarGabHun:97,
	Author = {Besnard, P. and Farinas del Cerro, L. and Gabbay, D. M. and Hunter, A.},
	Booktitle = {Uncertainty Management in Information Systems},
	Editor = {Motro, A. and Smets, P.},
	Pages = {325--341},
	Publisher = {Kluwer Academic Pub.},
	Title = {{Logical Handling of Default and Inconsistent Information}},
	Year = {1997}}

@inproceedings{BesHun:00,
	Author = {Besnard, P. and Hunter, A.},
	Booktitle = {Proceedings of the National Conference on Artificial Intelligence (AAAI 2000)},
	Publisher = {MIT Press},
	Title = {{Towards a Logic-based Theory of Argumentation}},
	Year = {2000}}

@article{BesHun:01,
	Annote = {pdf available},
	Author = {Besnard, P. and Hunter, A.},
	Date-Modified = {2005-02-16 14:58:19 +1100},
	Journal = {Artificial Intelligence},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/AI/BesHun01.pdf},
	Pages = {203--235},
	Title = {{A Logic-based Theory of Deductive Arguments}},
	Volume = {128},
	Year = {2001}}

@inproceedings{BesHun:95,
	Author = {Besnard, P. and Hunter, A.},
	Booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty 95},
	Pages = {44--51},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 946},
	Title = {{Quasi-Classical Logic: Non-Trivializable Classical Reasoning From Inconsistent Information}},
	Year = {1995}}

@incollection{BesHun:98,
	Author = {Besnard, P. and Hunter, A.},
	Booktitle = {Handbook of Defeasible Reasoning and Uncertain Information Volume 2, Reasoning wiht Actual and Potential Contradictions},
	Editor = {Besnard, P. and Hunter, A.},
	Pages = {1--12},
	Publisher = {Kluwer Academic Pub.},
	Title = {{Introduction to Actual and Potential Contradictions}},
	Year = {1998}}

@article{BesLae:94,
	Author = {Besnard, P. and Laenes, E.},
	Journal = {International Journal of Intelligent Systems},
	Pages = {153--168},
	Title = {{A Knowledge Representation Perspective: Logics for Paraconsistent Reasoning}},
	Year = {1994}}

@incollection{BesLan:00,
	Annote = {pdf available},
	Author = {Besnard, P. and Lang, J.},
	Booktitle = {Frontiers of Paraconsistet Logic},
	Editor = {D. Batens, C. Mortensen, G. Priest ad P. van Bedegem},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/BesLan00.pdf},
	Number = {8},
	Publisher = {Kluwer Academic Pub.},
	Series = {Studies in Logic and Computation},
	Title = {{Graded Paraconsistency--Reasoning with Inconsistent and Uncertain Knowledge}},
	Year = {2000}}

@inproceedings{BesSch:00,
	Annote = {pdf available},
	Author = {Besnard, P. and Schaub, T. H.},
	Booktitle = {Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning (KR-2000)},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/BesSch00.pdf},
	Pages = {401--410},
	Publisher = {Morgan Kaufmann},
	Title = {{Significant Inferences: Preliminary Report}},
	Year = {2000}}

@article{BesSch:00a,
	Annote = {pdf available},
	Author = {Besnard, P. and Schaub, T. H.},
	Journal = {Theoretical Computer Science},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/Nonmonotonic/BesSch00a.pdf},
	Pages = {489--494},
	Title = {{What is a Non-Monotone Logic System}},
	Volume = {238},
	Year = {2000}}

@inproceedings{BesSch:96,
	Author = {Besnard, P. and Schaub, T. H.},
	Booktitle = {Logics in Artificial Intelligence},
	Pages = {404--416},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 1126},
	Title = {{A Simple Signed Systems for Paraconsistent Reasoning}},
	Year = {1996}}

@inproceedings{BesSch:97,
	Author = {Besnard, P. and Schaub, T. H.},
	Booktitle = {Proceedings of the Fifteenth International Joint Conferences on Artificial Intelligence},
	Pages = {150--155},
	Title = {{Circumscribing Inconsistency}},
	Volume = {1},
	Year = {1997}}

@article{BesSch:98,
	Annote = {pdf available},
	Author = {Besnard, P. and Schaub, T. H.},
	Journal = {Journal of Automated Reasoning},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/BesSch98.pdf},
	Pages = {191--213},
	Title = {{Signed Systems for Paraconsistent Reasoning}},
	Volume = {20},
	Year = {1998}}

@inproceedings{BesSchTomWol:02,
	Annote = {pdf available},
	Author = {Besnard, P. and Schaub, T. and Tompits, H. and Woltran, S.},
	Booktitle = {Logic in Artificial Intelligence: European Conference, JELIA 2002, Cosenza, Italy, September, 23--26, 2002. Proceedings},
	Editor = {Flesca, S. and Greco, S. and Leone, N. and Inni, G.},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/BesSchTomWol02.pdf},
	Pages = {320--331},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 2424},
	Title = {{Parconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems}},
	Year = {2002}}

@inproceedings{BesSchTomWol:03,
	Annote = {pdf available},
	Author = {Besnard, P. and Schaub, T. H. and Tompits, H. and Woltran, S.},
	Booktitle = {Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ESQARU 2003)},
	Editor = {T. D. Nielsen and N. L. Zhang},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/BesSchTomSte03.pdf},
	Pages = {528--539},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 2711},
	Title = {{Paraconsistent Reasoning via Quantified Boolean Formulas II: Circumscribing Inconsistent Theories}},
	Year = {2003}}

@incollection{BesSchTomWol:05,
	Annote = {pdf available},
	Author = {Besnard, P. and Schaub, T. and Tompits, H. and Woltran S.},
	Booktitle = {Inconsistency Tolerance},
	Date-Modified = {2005-01-20 07:47:05 +1100},
	Editor = {Leopoldo Bertossi, Anthony Hunter and Torsten Schaub},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/InconsistencyTolerance/LNCS_Volume/content04.pdf},
	Pages = {84 -- 118},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 3300},
	Title = {{Representing Paraconsistent Reasoning via Quantified Propositional Logic}},
	Year = {2005}}

@inproceedings{BesWon:03,
	Annote = {pdf available},
	Author = {Besnard, P. and Wong, P.},
	Booktitle = {Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ESQARU 2003)},
	Editor = {T. D. Nielsen and N. L. Zhang},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/BesWon03.pdf},
	Pages = {540--551},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 2711},
	Title = {{Modal (Logic) Paraconsistency}},
	Year = {2003}}

@article{BiaGer:03,
	Annote = {pdf available},
	Author = {Biacino, L. and Gerla, G.},
	Journal = {International Journal of General Systems},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/BiaGer03.pdf},
	Pages = {321--342},
	Title = {{Boolean Fuzzy Logic and Generalized Capacities}},
	Volume = {32 (4)},
	Year = {2003}}

@article{BirLoz:99,
	Annote = {pdf available},
	Author = {Birnbaum, E. and Lozinskii, E. L.},
	Date-Modified = {2005-02-16 14:38:10 +1100},
	Journal = {Journal of Artificial Intelligence Research},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/CountingModel/BirLoz99.pdf},
	Pages = {457--477},
	Title = {{The Good Old Davis-Putnum Procedure Helps Counting Models}},
	Volume = {10},
	Year = {1999}}

@unpublished{BisMonRos:97,
	Author = {Bistarelli, S. and Montanari, U. and Rossi, F.},
	Note = {preprint, to appear in Journal of the ACM},
	Title = {{Semiring-Based constraint Satisfaction and Optimization}},
	Year = {1997}}

@unpublished{BlaRijVen:ml,
	Author = {Blackburn, P. and Rijke, M. and Venema, Y.},
	Note = {manuscript},
	Title = {{Modal Logic}},
	Year = {1999}}

@article{BlaSub:89,
	Author = {Blair, H. A. and Subrahmanian, V. S.},
	Journal = {Theoretical Computer Science},
	Pages = {135},
	Title = {{Paraconsistent Logic Programming}},
	Volume = {68 (2)},
	Year = {1989}}

@book{BloPig:al,
	Author = {Blok, W. J. and Pigozzi, D.},
	Number = {396},
	Publisher = {American Mathematical Society},
	Series = {Memoirs of the American Mathematical Society Volume 77},
	Title = {{Algebraizable Logics}},
	Year = {1989}}

@article{BloReb:03,
	Annote = {pdf available},
	Author = {Blok, W. J. and Rebagliato, J.},
	Date-Modified = {2006-04-17 22:04:31 +1000},
	Journal = {Studia Logica},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/AlgebraicLogic/BloReb03.pdf},
	Pages = {153--180},
	Title = {{Algebraic Semantics for Deductive Systems}},
	Volume = {74},
	Year = {2003}}

@article{BodToh:05,
	Abstract = {In this paper we present an embedding of abstract argumentation systems into the framework of Barwise and Seligman's logic of information flow. We show that, taking P.M. Dung's characterization of argument systems, a local logic over states of a deliberation may be constructed. In this structure, the key feature of non-monotonicity of commonsense reasoning obtains as the transition from one local logic to another, due to a change in certain background conditions. Each of Dung's extensions of argument systems leads to a corresponding ordering of background conditions. The relations among extensions becomes a relation among partial orderings of background conditions. This introduces a conceptual innovation in Barwise and Seligman's representation of commonsense reasoning.},
	Annote = {pdf available},
	Author = {Bodanza, Gustavo A. and Tohm\'{e}, Fernando A.},
	Date-Added = {2007-05-30 04:48:02 +1000},
	Date-Modified = {2007-05-30 04:49:19 +1000},
	Journal = {Journal of Logic, Language and Information},
	M3 = {10.1007/s10849-005-4510-2},
	Number = {1},
	Pages = {1--12},
	Title = {{Local Logics, Non-Monotonicity and Defeasible Argumentation}},
	Ty = {JOUR},
	Url = {http://dx.doi.org/10.1007/s10849-005-4510-2},
	Volume = {14},
	Year = {2005}}

@article{BonKok:99,
	Author = {Bonsangue, M. M. and Kok, J. N.},
	Journal = {Information and Computation},
	Pages = {170--201},
	Title = {{Toward An Infinitary Logic of Domains: Abramsky Logic for Transition System}},
	Volume = {155},
	Year = {1999}}

@book{BonMur:gta,
	Author = {Bondy, J. A. and Murty, U. S. R.},
	Publisher = {North-Holland},
	Title = {{Graph Theory with Applications}},
	Year = {1976}}

@book{BooJef:cl,
	Author = {Boolos, G. S. and Jeffrey, R. C.},
	Publisher = {Cambridge University Press},
	Title = {{Computability and Logic: Third Edition}},
	Year = {1989}}

@article{BorHamIbaKog:00,
	Author = {Boros, E. and Hammer, P. L. and Ibaraki, T. and Kogan, A.},
	Journal = {Mathematical Programming},
	Pages = {163--190},
	Title = {{An Logical Analysis of Numerical Data}},
	Volume = {79},
	Year = {1997}}

@article{BorHamLbaKogMayMuc:00,
	Author = {Boros, E. and Hammer, P. L. and Lbaraki, T. and Kogan, A. and Mayoraz, E. and Muchnik, I.},
	Journal = {IEEE Transactions on Knowledge and Data Engineering},
	Pages = {1041--4347},
	Title = {{An Implementatin of Logical Analysis of Data}},
	Volume = {12 (2)},
	Year = {2000}}

@article{BouDub:99,
	Annote = {pdf available},
	Author = {Boufkhad, Y. and Dubois, O.},
	Date-Modified = {2005-02-15 17:04:08 +1100},
	Journal = {Theoretical Computer Science},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/PrimeImplicate/BouDub99.pdf},
	Pages = {1--30},
	Title = {{Length of Prime Implicants and Number of Solutions of Random $CNF$ Formulae}},
	Volume = {215 (1--2)},
	Year = {1999}}

@article{BraKilZwi:97,
	Annote = {pdf available},
	Author = {Brams, S. J. and Kilgour, D. M. and Zwicker, W. S.},
	Journal = {Electoral Studies},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/VoteInconsist/BraKilZwi97.pdf},
	Number = {3},
	Pages = {359--377},
	Title = {{Voting on Referenda: the Separability Problem and Possible Solutions}},
	Volume = {16},
	Year = {1997}}

@article{BraKilZwi:98,
	Annote = {pdf available},
	Author = {Brams, S. J. and Kilgour, D. M. and Zwicker, W. S.},
	Journal = {Social Choice and Welfare},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/VoteInconsist/BraKilZwi98.pdf},
	Pages = {211--236},
	Title = {{The Paradox of Multiple Elections}},
	Volume = {15},
	Year = {1998}}

@book{BraSwa:pw,
	Author = {Bradley, R. and Swartz, N.},
	Publisher = {Hackett Pub.},
	Title = {{Possible Worlds: An Introduction to Logic and Its Philosophy}},
	Year = {1979}}

@book{BreDixKon:nr,
	Author = {Brewka, G. and Dix, J. and Konolige, K.},
	Publisher = {CSLI},
	Title = {{Nonmonotonic Reasoning: An Overview}},
	Year = {1997}}

@book{BriRew:pps,
	Annote = {my collection},
	Author = {Brink, C. and Rewitzky, I.},
	Publisher = {CSLI},
	Title = {{A Paradigm for Program Semantics}},
	Year = {2001}}

@article{BroCar:00,
	Author = {Brocas, I. and Carrillo, J. D.},
	Journal = {European Economic Review},
	Pages = {1104--1115},
	Title = {{The Value of Information When Preferences are Dynamically Inconsistent}},
	Volume = {44},
	Year = {2000}}

@inproceedings{BroDasTor:01,
	Author = {Broersen, J. and Dastani, M. and van der Torre, L.},
	Booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings},
	Editor = {Benferhat, S. and Besnard, P.},
	Pages = {568--579},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 2143},
	Title = {{Resolving Conficts between Beliefs, Obligations, Intentions, and Desires}},
	Year = {2001}}

@article{BroFinRus:99,
	Author = {Broda, K. and Ringer, M. and Russo, A.},
	Journal = {Journal of the Interest Group in Pure and Applied Logics},
	Pages = {283--318},
	Title = {{Labelled Natural Deduction for Substructural Logics}},
	Volume = {7 (3)},
	Year = {1999}}

@article{BroPri:04,
	Annote = {pdf available},
	Author = {Brown, B. and Priest, G.},
	Journal = {Journal of Philosophical Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/BroPri04.pdf},
	Pages = {379--388},
	Title = {{Chunk and Permeate: A Paraconsistent Inference Strategy Part I: The Infinitesimal Calculus}},
	Volume = {33},
	Year = {2004}}

@article{BroSch:99,
	Annote = {pdf available},
	Author = {Brown, B. and Schotch, P. K.},
	Date-Modified = {2005-01-21 10:41:00 +1100},
	Journal = {Journal of Philosophical Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/BroSch99.pdf},
	Number = {396},
	Pages = {265--287},
	Title = {{Logic and Aggregation}},
	Volume = {28},
	Year = {1999}}

@article{BruCar:05,
	Annote = {pdf available},
	Author = {Brunner, A. B. M. and Carnielli, W. A.},
	Date-Added = {2005-04-17 09:06:29 +1000},
	Date-Modified = {2005-04-17 09:07:59 +1000},
	Journal = {Journal of Applied Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/WoPaLo/BruCar05.pdf},
	Pages = {161--184},
	Title = {{Anti-intuitionism and Paraconsistency}},
	Volume = {3},
	Year = {2005}}

@book{BruRys:cmt,
	Author = {Brualdi, R. A. and Ryser, H. J.},
	Publisher = {Cambridge University Press},
	Title = {{Combinatorial Matrix Theory}},
	Year = {1991}}

@inproceedings{BruSas:01,
	Annote = {pdf available},
	Author = {Bruni, R. and Sassano, A.},
	Booktitle = {Advances in Intelligent Data Analysis, 4th International Conference, IDA 2001, Cascais, Portugal, September 13--15, 2001, Proceedings},
	Date-Modified = {2005-02-16 08:14:56 +1100},
	Editor = {Hoffmann, F. and Hand, D. J. and Adams, N. and Fisher, D. and Guimaraes, G.},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/UnSAT/BruSas01.pdf},
	Pages = {84--94},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 1894},
	Title = {{Errors Detection and Correction in Large Scale Data Collecting}},
	Year = {2001}}

@inproceedings{BruSas:01a,
	Annote = {pdf available},
	Author = {Bruni, R. and Sassano, A.},
	Booktitle = {Principles and Practice of Constraint Programming - CP 2000 6th International Conference, CP 2000, Singapore, September 2000. Proceedings},
	Date-Modified = {2005-02-16 08:19:31 +1100},
	Editor = {Dechter, R.},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/UnSAT/BruSas01b.pdf},
	Pages = {495--499},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 1894},
	Title = {{Finding Minimal Unsatisfiable Subformulae in Satisfiability Instances}},
	Year = {2000}}

@inproceedings{BruSas:01b,
	Annote = {pdf available},
	Author = {Bruni, R. and Sassano, A.},
	Booktitle = {LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001) Boston (Massachusetts, USA), June 14-15, 2001, Proceedings},
	Date-Modified = {2005-02-16 08:19:19 +1100},
	Editor = {Kautz, H. and Selman, B.},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/UnSAT/BruSas01b.pdf},
	Publisher = {Elsevier Science Pub.},
	Series = {Electronic Notes in Discrete Mathematics volume 9},
	Title = {{Restoring Satisfiability or Maintaining Unsatisfiability by Finding Small Unsatisfiable Subformulae}},
	Year = {2001}}

@unpublished{BruSas:01c,
	Author = {Bruni, R. and Sassano, A.},
	Date-Modified = {2005-02-16 08:19:47 +1100},
	Note = {preprint, Dipartimento di Informatica e Sistemistica, Universit\`{a} di Roma},
	Title = {{Logic and Optimization Techniques for an Error Free Data Collecting}},
	Year = {2001}}

@book{BruSha:msls,
	Author = {Brualdi, R. A. and Shader, B. L.},
	Publisher = {Cambridge University Press},
	Title = {{Matrices of Sign-solvable Linear Systems}},
	Year = {1995}}

@inproceedings{BrySch:03,
	Annote = {pdf available},
	Author = {Bry, F. and Schaffert, S.},
	Booktitle = {Rules and Rule Markup Languages for the Semantic Web: Second International Workshop, RuleML 2003},
	Editor = {Schroeder, M. and Wagner, G.},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/BrySch03.pdf},
	Pages = {17--34},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 2876},
	Title = {{An Entailment Relation for Reasoning on the Web}},
	Year = {2003}}

@article{BucPeq:93,
	Annote = {pdf available},
	Author = {Buchsbaum, A. and Pequeno, T.},
	Date-Modified = {2006-04-11 21:37:44 +1000},
	Journal = {Studia Logica},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/BucPeq93.pdf},
	Number = {3},
	Pages = {281--289},
	Title = {{A Reasoning Method for a Paraconsistent Logic}},
	Volume = {52},
	Year = {1993}}

@article{BunLet:99,
	Annote = {pdf available},
	Author = {B\"{u}ning, H. K. and Lettamnn, T.},
	Date-Modified = {2005-02-16 10:19:59 +1100},
	Journal = {Discrete Applied Mathematics},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/UnSAT/BunLet99.pdf},
	Pages = {139--148},
	Title = {{Resolution Remains Hard under Equivalence}},
	Volume = {96--97},
	Year = {1999}}

@article{BunXu:05,
	Annote = {pdf available},
	Author = {B\"{u}ning, H. K. and Xu, D.},
	Date-Added = {2005-02-16 08:20:42 +1100},
	Date-Modified = {2005-02-16 08:24:34 +1100},
	Journal = {Annals of Mathematics and Artificial Intelligence},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/UnSAT/BunXu05.pdf},
	Pages = {113--127},
	Title = {{The Complexity of Homomorphisms and Renaming for Minimal Unsatisfiable Formulas}},
	Volume = {43},
	Year = {2005}}

@article{BunZha:02,
	Annote = {pdf available},
	Author = {B\"{u}ning, H. K. and Zhao, X.},
	Date-Added = {2005-02-16 08:25:24 +1100},
	Date-Modified = {2005-02-16 08:27:02 +1100},
	Journal = {Annals of Mathematics and Artificial Intelligence},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/UnSAT/BunZha02.pdf},
	Pages = {419--435},
	Title = {{The Complexity of Read-Once Resolution}},
	Volume = {36},
	Year = {2002}}

@article{BunZha:03,
	Annote = {pdf available},
	Author = {B\"{u}ning, H. K. and Zhao, X.},
	Date-Added = {2005-02-16 10:26:26 +1100},
	Date-Modified = {2005-02-16 10:28:09 +1100},
	Journal = {Discrete Applied Mathematics},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/UnSAT/BunZha03.pdf},
	Pages = {185--207},
	Title = {{On the Structure of Some Classes of Minimal Unsatisfiable Formulas}},
	Volume = {130},
	Year = {2003}}

@book{BurSan:cua,
	Annote = {pdf available},
	Author = {Burris, S. and Sankappanavar, H. P.},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/CopyLeftBooks/univ-algebra.pdf},
	Publisher = {Springer Verlag},
	Title = {{A Course in Universal Algebra: The Millennium Edition}},
	Year = {2000}}

@article{ByrHun:04,
	Annote = {pdf available},
	Author = {Byrne, E. and Hunter, A.},
	Journal = {Data and Knowledge Engineering},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/ByrHun04.pdf},
	Pages = {265--295},
	Title = {{Man Bites Dog: Looking for Interesting Inconsistencies}},
	Volume = {48},
	Year = {2004}}

@article{CadSch:96,
	Annote = {pdf available},
	Author = {Cadoli, M. and Schaerf, M.},
	Date-Modified = {2006-04-17 21:33:26 +1000},
	Journal = {Annals of Mathematics and Artificial Intelligence},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/AMAI/CadSch96.pdf},
	Pages = {29--50},
	Title = {{On the Complexity of Entailment in Propositional Multivalued Logics}},
	Volume = {18 (1)},
	Year = {1996}}

@article{CalCarConSerSer:03,
	Annote = {pdf available},
	Author = {Caleiro, C. and Carnielli, W. A. and Coniglio, M. E. and Sernadas, A. and Sernadas, C.},
	Journal = {Journal of Logic, Language, and Information},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/CalCarConSerSer03.pdf},
	Pages = {183--211},
	Title = {{Fibring Non-Truth-Functional Logics: Completeness Preservation}},
	Volume = {12},
	Year = {2003}}

@article{CarAlc:84,
	Annote = {pdf available},
	Author = {Carnielli, W. A. and de Alcantara, L. P.},
	Date-Modified = {2006-02-25 17:35:17 +1100},
	Journal = {Studia Logica},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/StudiaLogicaParaconsistency/CarAkc84.pdf},
	Number = {1--2},
	Pages = {79--88},
	Title = {{Paraconsistent Algebras}},
	Volume = {43},
	Year = {1984}}

@article{CarCor:98,
	Annote = {pdf available},
	Author = {Carbogim, D. V. and Correa da Silva, F. S.},
	Journal = {Applied Intelligence},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/CarCor98.pdf},
	Pages = {163--172},
	Title = {{Annotated Logic Applications for Imperfect Information}},
	Volume = {9},
	Year = {1998}}

@article{CarLim:92,
	Author = {Carnielli, W. A. and Lima-Marques, M.},
	Journal = {Journal of Applied Non-Classical Logics},
	Pages = {49--79},
	Title = {{Reasoning under Inconsistent Knowledge}},
	Volume = {2 (1)},
	Year = {1992}}

@incollection{CarMar:02,
	Author = {Carnielli, W. A. and Marcos, J.},
	Booktitle = {Paraconsistency: The Logical Way to the Inconsistent, Proceedings of the Second World Congress on Paraconsistency (WCP 2000)},
	Editor = {W. A. Carnielli and M. E. Coniglio and I. M. L. D'Ottaviano},
	Pages = {1--94},
	Publisher = {Marcel Dekker, Inc.},
	Series = {Lecture Notes in Pure and Applied Mathematics 228},
	Title = {{A Taxonomy of \textbf{C}-Systems}},
	Year = {2002}}

@article{CarMar:99,
	Annote = {pdf available},
	Author = {Carnielli, W. A. and Marcos, J.},
	Journal = {Notre Dame Journal of Formal Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/CarMar99.pdf},
	Pages = {375--390},
	Title = {{Limits for Paraconsistent Calculi}},
	Volume = {40 (3)},
	Year = {1999}}

@techreport{CarMen:97,
	Author = {Carroll, J. J. and Menchini, M. C.},
	Institution = {Hewlett Packard Laboratories, Bristol U.K.},
	Title = {{Multiple Contradictory Causal Fields, HPL-97-129}},
	Year = {1997}}

@article{CasTri:93,
	Author = {Castro, J. L. and Trillas, E.},
	Journal = {Fuzzy Sets and Systems},
	Pages = {51--57},
	Title = {{The Management of the Inconsistency in Expert Systems}},
	Volume = {58},
	Year = {1993}}

@article{CasTriZur:94,
	Author = {Castro, J. L. and Trillas, E. and Zurita, J. M.},
	Journal = {Fuzzy Systems and Artificial Intelligence},
	Pages = {79--94},
	Title = {{Searching Potential Conflicts in Medical Expert Systems}},
	Volume = {3 (1)},
	Year = {1994}}

@article{CasTriZur:98,
	Author = {Castro, J. L. and Trillas, E. and Zurita, J. M.},
	Journal = {Fuzzy Sets and Systems},
	Pages = {217--225},
	Title = {{Non-monotonic Fuzzy Reasoning}},
	Volume = {94},
	Year = {1998}}

@unpublished{CasVar:00,
	Author = {Casati, R. and Varzi, A.},
	Note = {to appear in Anil Gupta and Andr\`{e} Chapuis (ed.) {\it Circularity, Definition and Truth}},
	Title = {{True and False: an Exchange}},
	Year = {2000}}

@article{CasZur:93,
	Author = {Castro, J. L. and Zurita, J. M.},
	Journal = {Information Sciences},
	Pages = {97--110},
	Title = {{A Heuristic in Rules Based Systems}},
	Volume = {74},
	Year = {1993}}

@article{CasZur:98,
	Annote = {pdf available},
	Author = {Castro, J. L. and Zurita, J. M.},
	Journal = {Information Sciences},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/CasZur98.pdf},
	Pages = {135--148},
	Title = {{A Heuristic in Rules Based Systems for Searching of Inconsistencies}},
	Volume = {108},
	Year = {1998}}

@incollection{CayDubPra:97,
	Author = {Cayrac, D. and Dubois, D. and Prade, H.},
	Booktitle = {Fuzzy Information Engineering: a Guided Tour of Application},
	Editor = {Dubois, D. and Prade, H. and Yager, R. R.},
	Pages = {437--456},
	Publisher = {John Wiley {\&} Sons, Inc.},
	Title = {{Possibilistic Handling of Uncertainty in Practical Fault Isolation}},
	Year = {1997}}

@inproceedings{CayLagSch:94,
	Author = {Cayrol, C. and Lagasquie-Schiex, M. C.},
	Booktitle = {Proceedings of the 11th ECAL Workshop on Algorithms, Complexity and Commonsense Reasoning},
	Title = {{On the Complexity of Non-monotonic Entailment in Syntax-Based Approaches}},
	Year = {1994}}

@inproceedings{CayLagSch:95,
	Author = {Cayrol, C. and Lagasquie-Schiex, M. C.},
	Booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty 95},
	Pages = {107--114},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 946},
	Title = {{Non-monotonic Syntax-Based Entailment: a Classification of Consequence Relation}},
	Year = {1995}}

@inproceedings{CelBer:00,
	Author = {Celle, A. and Bertossi, L.},
	Booktitle = {Computational Logic - CL 2000, First International Conference, London, UK, July 2000. Proceedings},
	Editor = {Lloyd, J. W. and Dahl, V. and Furbach, U. and Kerber, M. and Lau, K. K. and Palamidessi, C. and Moniz Pereira, L. and Sagiv, Y. and Stuckey, P. J.},
	Pages = {942--956},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 1861},
	Title = {{Querying Inconsistent Databases: Algroithms and Implementation}},
	Year = {2000}}

@article{ChaFroSch:97,
	Annote = {pdf available},
	Author = {Chatalic, P. and Froidevaux, C. and Schwind, C.},
	Date-Modified = {2005-02-17 15:24:17 +1100},
	Journal = {Theoretical Computer Science},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/AI/ChaFroSch97.pdf},
	Pages = {247--280},
	Title = {{Graded Hypothesis Theories}},
	Volume = {171},
	Year = {1997}}

@book{ChaHoo:omli,
	Author = {Chandru, V. and Hooker, J. N.},
	Publisher = {John Wiley {\&} Sons, Inc.},
	Series = {Series in Discrete Mathematics and Optimization},
	Title = {{Optimization Methods for Logical Inference}},
	Year = {1999}}

@book{ChaKei:mt,
	Author = {Chang, C. C. and Keisler, H. J.},
	Publisher = {North-Holland},
	Title = {{Model Theory}},
	Year = {1977}}

@article{ChaZak:95,
	Author = {Chagrov, A. and Zakharyaschev, M.},
	Journal = {Journal of Logic and Computation},
	Pages = {287--302},
	Title = {{On the Independent Axiomatizability of Modal and Intermediated Logics}},
	Volume = {5 (3)},
	Year = {1995}}

@inproceedings{CheEasPet:01,
	Annote = {pdf available},
	Author = {Chechik, M. and Easterbrook, S. and Petrovykh, V.},
	Booktitle = {FME 2001: Formal Methods for Increasing Software Productivity International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings},
	Editor = {Oliveira, J. N. and Zave, P.},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/CheEasPet01.pdf},
	Pages = {72--98},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 2021},
	Title = {{Model-Checking over Multi-valued Logics}},
	Year = {2001}}

@article{CheSeg:96,
	Annote = {pdf available},
	Author = {Chellas, B. F. and Segerberg, K.},
	Journal = {Notre Dame Journal of Formal Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/ModalLogic/CheSeg96.pdf},
	Pages = {1--24},
	Title = {{Modal Logics in the Vicinity of S1}},
	Volume = {37 (1)},
	Year = {1996}}

@inproceedings{CheZha:04,
	Annote = {pdf available},
	Author = {Chen, Q. and Zhang, S.},
	Booktitle = {Proceedings of the 8th Pacific Rim International Conference on Artificial Intelligence 2004},
	Editor = {C. Zhang and H.W. Guesgen and W. K. Yeap},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/CheZha04.pdf},
	Pages = {33--42},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 3157},
	Title = {{Dealing with Inconsistent Secure Messages}},
	Year = {2004}}

@article{ChiGiu:00,
	Annote = {pdf available},
	Author = {Chiara, M. L. D. and Giuntini, R.},
	Journal = {Synthese},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/ChiGiu00.pdf},
	Pages = {55--68},
	Title = {{Paraconsistent Ideas in Quantum Logic}},
	Volume = {125},
	Year = {2000}}

@article{ChiGiu:89,
	Author = {Chiara, M. L. D. and Giuntini, R.},
	Journal = {Foundation of Physics},
	Pages = {905},
	Title = {{Paraconsistent Quantum Logics}},
	Volume = {19 (7)},
	Year = {1989}}

@unpublished{ChoGeoPar:00b,
	Author = {Chopra, S. and Georgatos, K. and Parikh, R.},
	Note = {to appear in Journal of Applied Non-Classical Logics},
	Title = {{Relevance Sensitive Non-Monotonic Inference on Belief Sequences}},
	Year = {2000}}

@article{ChoHun:03,
	Annote = {pdf available},
	Author = {Cholvy, L. and Hunter, A.},
	Journal = {Knowledge-Based Systems},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/ChoHun03.pdf},
	Pages = {113--126},
	Title = {{Merging Requirements from a Set of Ranked Agents}},
	Volume = {16},
	Year = {2003}}

@inproceedings{ChoHun:97,
	Author = {Cholvy, L. and Hunter, A.},
	Booktitle = {Symbolic and Quantitative Practical Reasoning},
	Pages = {86--95},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 1244},
	Title = {{Information Fusion in Logic: a Brief Overview}},
	Year = {1997}}

@incollection{ChoMar:05,
	Annote = {pdf available},
	Author = {Chomicki, J. and Marcinkowski, J.},
	Booktitle = {Inconsistency Tolerance},
	Date-Modified = {2005-01-20 07:47:50 +1100},
	Editor = {Leopoldo Bertossi, Anthony Hunter and Torsten Schaub},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/InconsistencyTolerance/LNCS_Volume/content05.pdf},
	Pages = {119 -- 150},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 3300},
	Title = {{On the Computational Complexity of Minimal-Change Integrity Maintenance in Relational Databases}},
	Year = {2005}}

@inproceedings{ChoMarTru:95,
	Author = {Cholewi\'{n}ski, P. and Marek, V. W. and Truszczy\'{n}ski, M.},
	Booktitle = {Proceedings of the 12th International Conference on Logic Programming, Kanagawa 1995},
	Pages = {267--281},
	Publisher = {MIT Press},
	Series = {MIT Press Series Logic Program},
	Title = {{Experimenting with Nonmonotonic Reasoning}},
	Year = {1995}}

@article{ChoPar:00a,
	Annote = {pdf available},
	Author = {Chopra, S. and Parikh, R.},
	Journal = {Annals of Mathematics and Artificial Intelligence},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/ChoPar00a.pdf},
	Pages = {259--285},
	Title = {{Relevance Sensitive Belief Structures}},
	Volume = {28},
	Year = {2000}}

@inproceedings{ChoPar:99,
	Author = {Chopra, S. and Parikh, R.},
	Booktitle = {Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence},
	Pages = {?},
	Publisher = {Morgan Kaufmann},
	Title = {{An Inconsistency Tolerant Model for Belief Representation and Belief Revision}},
	Year = {1999}}

@article{ChoTru:99,
	Author = {Cholewi\'{n}ski, P. and Truszczy\'{n}ski, M.},
	Journal = {Journal of Logic Programming},
	Pages = {219--242},
	Title = {{Extremal Problems in Logic Programming and Stable Model Computation}},
	Volume = {38 (2)},
	Year = {1999}}

@article{ChvSze:88,
	Author = {Cha\'{v}tal, V. and Szemer\'{e}di, E.},
	Journal = {Journal of the Association for Computing Machinery},
	Pages = {759--768},
	Title = {{Many Hard Examples for Resolution}},
	Volume = {35 (4)},
	Year = {1988}}

@article{CohSchJonPeaLinStaGunBur:98,
	Author = {Cohen, P. and Schrag, R. and Jones, E. and Pease, A. and Lin, A. and Starr, B. and Gunning, D. and Burke, M.},
	Journal = {AI Magazine},
	Pages = {25--49},
	Title = {{The DARPA High-Performance Knowldge Bases Project}},
	Volume = {19 (4)},
	Year = {1998}}

@article{ConSerSer:03,
	Annote = {pdf available},
	Author = {Coniglio, M. E. and Sernadas, A. C. and Sernadas, C. S.},
	Journal = {Journal of Logic and Computation},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/ConSerSer03.pdf},
	Number = {4},
	Pages = {595--624},
	Title = {{Fibring Logics with Topos Semantics}},
	Volume = {145},
	Year = {2003}}

@article{CosAbeSub:91,
	Author = {da Costa, N. C. A. and Abe, J. M. and Subrahmanian, V. S.},
	Journal = {Zeitschrift F\"{u}r Mathematische Logik Und Grundlag Der Mathematik},
	Pages = {561--570},
	Title = {{Remarks on Annotated Logic}},
	Volume = {37},
	Year = {1991}}

@article{CosBezBue:93,
	Annote = {pdf available},
	Author = {da Costa, N. C. A. and B\'{e}ziau, J. Y. and Bueno, O. A.},
	Date-Modified = {2007-06-11 15:58:12 +1000},
	Journal = {Journal of the Interest Group in Pure and Applied Logics},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/CosBezBue03.pdf},
	Pages = {597--614},
	Title = {{Aspects of Paraconsistent Logic}},
	Volume = {3 (1)},
	Year = {1993}}

@article{CosBueFre:98,
	Annote = {pdf available},
	Author = {da Costa, N. C. A. and Bueno, O. and French, S.},
	Journal = {Journal of Philosophical Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/CosBueFre98.pdf},
	Pages = {603--620},
	Title = {{The Logic of Pragmatic Truth}},
	Volume = {27},
	Year = {1998}}

@inproceedings{CosDub:77,
	Author = {da Costa, N. C. A. and Dubikajtis, L.},
	Booktitle = {Non-Classical Logics, Model Theory, and Computability: Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976},
	Editor = {Arruda, A. I. and Chuaqui, R. and da Costa, N. C. A.},
	Pages = {37--56},
	Publisher = {North-Holland},
	Title = {{On Ja\'{s}kowski's Discussive Logic}},
	Year = {1977}}

@article{CosFre:89,
	Annote = {pdf available},
	Author = {da Costa, N. C. A. and French, S.},
	Date-Modified = {2005-04-01 12:26:20 +1000},
	Journal = {Philosophy and Phenomenological Research},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/CosFre89.pdf},
	Number = {3},
	Pages = {413--446},
	Title = {{On the Logic of Belief}},
	Volume = {49},
	Year = {1989}}

@article{CosFre:90,
	Author = {da Costa, N. C. A. and French, S.},
	Journal = {American Philosophical Quarterly},
	Pages = {179--197},
	Title = {{Belief, Contradiction and the Logic of Self-Deception}},
	Volume = {27 (3)},
	Year = {1990}}

@inproceedings{CosHenLuSub:90,
	Author = {da Costa, N. C. A. and Henschen, L. J. and Lu, J. J. and Subrahmanian, V. S.},
	Booktitle = {10th International Conference on Automated Deduction},
	Pages = {72--86},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 449},
	Title = {{Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation}},
	Year = {1990}}

@inproceedings{CosMar04a,
	Annote = {pdf available},
	Author = {Coste-Marquis, S. and Marquis, P.},
	Booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004},
	Date-Modified = {2004-12-23 14:25:13 +1100},
	Editor = {Ramon L\`{o}pez de M\'{a}ntaras and Lorenza Saitta},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/CosMar04a.pdf},
	Pages = {803-807},
	Title = {{A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning}},
	Year = {2004}}

@inproceedings{CosMar:02,
	Annote = {pdf available},
	Author = {Coste-Marquis, S. and Marquis, P.},
	Booktitle = {Proceedings of the $8^{th}$ International Conference on Principles of Knowledge Representation and Reasoning (KR 2002), Toulouse},
	Editor = {D. Fensel and F. Giunchiglia and D. McGuinness and M.A. Williams},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/CarMar99.pdf},
	Pages = {61--72},
	Publisher = {Morgan Kaufmann},
	Title = {{Complexity Results for Paraconsistent Inference Relation}},
	Year = {2002}}

@article{CosMar:04,
	Annote = {pdf available},
	Author = {Coste-Marquis, S. and Marquis, P.},
	Journal = {Annals of Mathematics and Artificial Intelligence},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/CosMar04.pdf},
	Pages = {399--442},
	Title = {{On Stratified Belief Base Compilation}},
	Volume = {42},
	Year = {2004}}

@incollection{CosMar:05,
	Annote = {pdf available},
	Author = {Coste-Marquis, S. and Marquis. P.},
	Booktitle = {Inconsistency Tolerance},
	Date-Modified = {2005-01-20 07:48:40 +1100},
	Editor = {Leopoldo Bertossi, Anthony Hunter and Torsten Schaub},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/InconsistencyTolerance/LNCS_Volume/content06.pdf},
	Pages = {151 -- 190},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 3300},
	Title = {{On the Complexity of Paraconsistent Inference Relations}},
	Year = {2005}}

@article{CosSubVag:91,
	Author = {da Costa, N. C. A. and Subrahmanian, V. S. and Vago, C.},
	Journal = {Zeitschrift F\"{u}r Mathematische Logik Und Grundlag Der Mathematik},
	Pages = {139--148},
	Title = {{The Paraconsistent Logics $P_j$}},
	Volume = {37 (2)},
	Year = {1991}}

@article{CosWol:80,
	Author = {da Costa, N. C. A. and Wolf, G.},
	Journal = {Philosophia},
	Pages = {189--217},
	Title = {{Studies in Paraconsistent Logic I: the Dialectical Principle of The Unity of Opposites}},
	Volume = {9},
	Year = {1980}}

@article{CreSte:82,
	Author = {Cresswell, M. J. and von Stechow, A.},
	Journal = {Linguistics and Philosophy},
	Pages = {503--535},
	Title = {{De Re Belief Generalized}},
	Volume = {2},
	Year = {1982}}

@book{CroFarHer:cpc,
	Editor = {Crocco, G. and Fari\~{n}as Del Cerro, L. and Herzig, A.},
	Publisher = {Oxford University Press},
	Title = {{Conditionals: from Philosophy to Computer Science}},
	Year = {1995}}

@unpublished{DagGabRus:96,
	Author = {D'Agostino, M. and Gabbay, D. M. and Russo, A.},
	Note = {Department of Computing, Imperial College preprint},
	Title = {{Grafting Modalities Onto Substructural Implication Systems}},
	Year = {1996}}

@inproceedings{DamPer:00,
	Annote = {pdf available},
	Author = {Dam\'{a}sio, C. V. and Moniz Pereira, L.},
	Booktitle = {Logics in Artificial Intelligence, European Workshop, JELIA 2000, M\'{a}laga, Spain, September/October 2000. Proceedings},
	Editor = {Ojeda-Aciego, M. and de Guzm\'{a}n, I. P. and Brewka, G. and Moniz Pereira, L.},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/DamPer00.pdf},
	Pages = {57--72},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 1919},
	Title = {{Hybrid Probabilistic Logic Programs as Residuated Logic Program}},
	Year = {2000}}

@article{DamPer:02,
	Annote = {pdf available},
	Author = {Dam\'{a}sio, C. V. and Moniz Pereira, L.},
	Journal = {Studia Logica},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/DamPer02.pdf},
	Pages = {113--138},
	Title = {{Hybrid Probabilistic Logic Programs as Residuated Logic Program}},
	Volume = {72},
	Year = {2002}}

@inproceedings{DamPer:97,
	Author = {Dam\'{a}sio, C. V. and Moniz Pereira, L.},
	Booktitle = {Logic Programming and NonMonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl, Germany},
	Editor = {Dix, J. and Furbach, U. and Nerode, A.},
	Pages = {224--243},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 1265},
	Title = {{A Paraconsistent Semantics with Contradiction Support Detection}},
	Year = {1997}}

@inproceedings{DamPerSwi:99,
	Annote = {pdf available},
	Author = {Dam\'{a}sio, C. V. and Moniz Pereira, L. and Swift, T.},
	Booktitle = {LPNMP 99},
	Editor = {M. Gelfond, N. Leone and G. Pfeifer},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/DamPerSwi99.pdf},
	Pages = {262--276},
	Series = {Lecture Notes in Artificial Intelligence 1730},
	Title = {{Coherent Well-Founded Annotated Logic Programs}},
	Year = {1999}}

@article{DanFre:77,
	Annote = {pdf available},
	Author = {Daniels, C. B. and Freeman, J. B.},
	Date-Modified = {2006-04-11 21:38:08 +1000},
	Journal = {Journal of Philosophical Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/DanFre77.pdf},
	Number = {1},
	Pages = {1--31},
	Title = {{Classical Second-Order Intensional Logic with Maximal Propositions}},
	Volume = {6},
	Year = {1977}}

@article{DanNgu:03,
	Annote = {pdf available},
	Author = {Danilowicz, C. and Nguyen, N. T.},
	Journal = {Distributed and Parallell Databases},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/DanNgu03.pdf},
	Pages = {53--69},
	Title = {{Consensus Methods for Solving Inconsistency of Replicated Data in Distributed Systems}},
	Volume = {145},
	Year = {2003}}

@article{DarMar:02,
	Annote = {pdf available},
	Author = {Darwiche, A. and Marquis, P.},
	Date-Modified = {2005-01-22 10:33:44 +1100},
	Journal = {Journal of Artificial Intelligence Research},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/AI/DarMar02.pdf},
	Pages = {229--264},
	Title = {{A Knowledge Compilation Map}},
	Volume = {17},
	Year = {2002}}

@article{DavDav:92,
	Author = {Davydov, G. and Davydova, I.},
	Journal = {Annals of Pure and Applied Logic},
	Pages = {27--43},
	Title = {{Tautologies and Positive Solvability of Linear Homogeneous Systems}},
	Volume = {57},
	Year = {1992}}

@book{DavPri:ilo,
	Author = {Davey, B. A. and Priestley, H. A.},
	Publisher = {Cambridge University Press},
	Title = {{Introduction to Lattices and Order: Second Edition}},
	Year = {2002}}

@book{DavSigWey:ccl,
	Author = {Davis, M. D. and Sigal, R. and Weyuker, E. J.},
	Publisher = {Academic Press},
	Title = {{Computation, Complexity, and Languages (second edition)}},
	Year = {1994}}

@proceedings{DecVilWar:02,
	Annote = {pdf available},
	Editor = {Decker, H. and Villadsen, J. and Waragai, T.},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/DecVilWar02.pdf},
	Title = {{Paraconsistent Computational Logic, ICIP 2002 Workshop Proceedings, Federated Logic Conference (FLoC)}},
	Year = {2002}}

@article{DelCla:00,
	Annote = {pdf available},
	Author = {Dellunde, P. and Clave, I.},
	Journal = {Studia Logica},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/AlgebraicLogic/clave00.pdf},
	Pages = {345--353},
	Title = {{On Definability of the Equality in Classes of Algebras with an Equivalence Relation}},
	Volume = {64},
	Year = {2000}}

@inproceedings{DelSch:01,
	Author = {Delgrande, J. P. and Schaub, T. H.},
	Booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings},
	Editor = {Benferhat, S. and Besnard, P.},
	Pages = {592--603},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 2143},
	Title = {{How to Reason Credulously and Skeptically within a Single Extension}},
	Year = {2001}}

@inproceedings{DelSch:03,
	Annote = {pdf available},
	Author = {Delgrande, J. P. and Schaub, T. H.},
	Booktitle = {Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ESQARU 2003)},
	Editor = {T. D. Nielsen and N. L. Zhang},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/Nonmonotonic/DelSch03.pdf},
	Pages = {425--463},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 2711},
	Title = {{On the Relation Between Reiter's Default Logic and Its (Major) Variants}},
	Year = {2003}}

@article{Deutsch:85a,
	Abstract = {A modified filtrations argument is used to prove that the relevant logic S of {$[$}2{$]$} is decidable.},
	Annote = {pdf available},
	Author = {Deutsch, H.},
	Date-Added = {2007-05-30 04:48:02 +1000},
	Date-Modified = {2007-05-30 04:49:59 +1000},
	Journal = {Studia Logica},
	M3 = {10.1007/BF00379764},
	Number = {2},
	Pages = {159--164},
	Title = {{A note on the decidability of a strong relevant logic}},
	Ty = {JOUR},
	Url = {http://dx.doi.org/10.1007/BF00379764},
	Volume = {44},
	Year = {1985}}

@book{DixJanSch:nil,
	Editor = {Dix, J. and Jantke, K. P. and Schmitt, P. H.},
	Publisher = {Springer Verlag},
	Title = {{Nonmonotonic and Inductive Logic}},
	Year = {1990}}

@techreport{DixPerPrz:97,
	Author = {Dix, J. and Moniz Pereira, L. and Przymusinski, T.},
	Institution = {Universit\"{a}t Koblenz-Laundau, Institut f\"{u}r Informatik},
	Title = {{Prolegomena to Logic Programming for Non-Monotonic Reasoning}},
	Year = {1997}}

@techreport{DixPosSch:89,
	Author = {Dix, J. and Posegga, J. and Schmitt, P. H.},
	Institution = {Universit\"{a} Karlsruhe, Institut f\"{u}r Logik, Komplexit\"{a}t und Deduktionssysteme},
	Title = {{Modal Logics for AI Planning}},
	Year = {1989}}

@book{DocJorLonSor:dgems,
	Annote = {my collection},
	Author = {Dockner, E. and Jørgensen, S. and Long, N. V. and Sorger, G.},
	Date-Added = {2005-02-15 09:07:19 +1100},
	Date-Modified = {2005-02-15 09:17:53 +1100},
	Publisher = {Cambridge University Press},
	Title = {{Differential Games in Economics and Management Science}},
	Year = {2000}}

@book{DosSch:sl,
	Editor = {Do\v{s}en, K. and Schroeder-Heister, P.},
	Publisher = {Oxford University Press},
	Title = {{Substructural Logics}},
	Year = {1993}}

@article{DotFei:00,
	Annote = {pdf available},
	Author = {D' Ottaviano, I. M. L. and Feitosa, H. D. A.},
	Journal = {Synthese},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/DotFei00.pdf},
	Pages = {77--95},
	Title = {{Paraconsistent Logics and Translations}},
	Volume = {125},
	Year = {2000}}

@incollection{DotLop:85,
	Author = {D'Ottaviano, I. M. L. and L\`{o}pez-Escobar, E. G. K.},
	Booktitle = {Mathematical Logic and Formal Systems},
	Editor = {de Alcantara, L. P.},
	Pages = {141--160},
	Publisher = {Marcel Dekker, Inc.},
	Series = {Lecture Notes in Pure and Applied Mathematics 94},
	Title = {{The Conditional and Paraconsistent Logics}},
	Year = {1985}}

@techreport{DraMilPer:86,
	Author = {Drapkin, J. and Miller, M. and Perlis, D.},
	Institution = {System Research Centre, University of Maryland},
	Title = {{On Default Handling: Consistency Before and After}},
	Year = {1986}}

@incollection{DreStr:96,
	Author = {Dressler, O. and Struss, P.},
	Booktitle = {Principles of Knowledge Representation},
	Editor = {Brewka, G.},
	Pages = {267--311},
	Publisher = {CSLI},
	Title = {{The Consistency-Based Approach to Automated Diagnosis of Devices}},
	Year = {1996}}

@article{DubCar:91,
	Author = {Dubois, O. and Carlier, J.},
	Journal = {Theoretical Computer Science},
	Pages = {65--75},
	Title = {{Probabilistic Approach to the Satisfiability Problem}},
	Volume = {81},
	Year = {1991}}

@book{DubKlePra:FSLRK,
	Editor = {Dubois, D. and Klement, E. P. and Prade, H.},
	Publisher = {Kluwer Academic Pub.},
	Title = {{Fuzzy Sets, Logics and Reasoning about Knowledge}},
	Volume = {Applied Logic Series 15},
	Year = {1999}}

@article{DubKonPra:04,
	Annote = {pdf available},
	Author = {Dubois, D. and Konleczny, S. and Prade, H.},
	Journal = {Fundamenta Informaticae},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/DubKonPra04.pdf},
	Pages = {101--125},
	Title = {{Quasi-Possibilistic Logic and Its Measures of Information and Conflict}},
	Volume = {57},
	Year = {2004}}

@book{DubPra:pt,
	Author = {Dubois, D. and Prade, H.},
	Publisher = {Plenum Press},
	Title = {{Possibility Theory: An Approach to Computerized Processing of Uncertainty}},
	Year = {1988}}

@book{DubPraYag:FIE,
	Editor = {Dubois, D. and Prade, H. and Yager, R. R.},
	Publisher = {John Wiley {\&} Sons, Inc.},
	Title = {{Fuzzy Information Engineering: a Guided Tour of Application}},
	Year = {1997}}

@article{DunBen:97,
	Annote = {pdf available},
	Author = {Dunne, P. E. and Bench-Capon, T. J. M.},
	Date-Modified = {2005-01-22 12:25:22 +1100},
	Journal = {Artificial Intelligence},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/PrimeImplicate/DunBen97.pdf},
	Pages = {317--329},
	Title = {{The Maximum Length of Prime Implicates for Instances of 3-SAT}},
	Volume = {92},
	Year = {1997}}

@book{DunEps:mvl,
	Editor = {Dunn, J. M. and Epstein, G.},
	Publisher = {D. Reidel Pub.},
	Title = {{Modern Uses of Multiple-Valued Logic}},
	Year = {1975}}

@article{DunZho:05,
	Annote = {pdf available},
	Author = {Dunn, J. M. and Zhou, C.},
	Date-Added = {2006-01-26 12:45:10 +1100},
	Date-Modified = {2006-01-26 12:46:50 +1100},
	Journal = {Studia Logica},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/DunZho05.pdf},
	Pages = {235--264},
	Title = {{Negation in the Context of Gaggle Theory}},
	Volume = {80},
	Year = {2005}}

@book{EelSky:pc,
	Editor = {Eells, E. and Skyrms, B.},
	Publisher = {Cambridge University Press},
	Title = {{Probability and Conditionals: Belief Revision and Rational Decision}},
	Year = {1994}}

@techreport{EijJas:96,
	Author = {Eijck, D. J. N. and Jaspars, J. O. M.},
	Institution = {Computer Science / Department of Software Technology, Centrum voor Wiskunde en Informatica (CWI), CS-R9616},
	Title = {{Ambiguity and Reasoning}},
	Year = {1996}}

@article{EilMac:45,
	Annote = {pdf available},
	Author = {Eilenberg, S. and MacLane, S.},
	Date-Added = {2007-03-19 12:07:43 +1100},
	Date-Modified = {2007-03-19 12:32:44 +1100},
	Journal = {Transactions of American Mathematical Society},
	Number = {2},
	Pages = {231--294},
	Title = {{General Theory of Natural Equivalences}},
	Volume = {58},
	Year = {1945}}

@article{ElvHun:95,
	Annote = {pdf available},
	Author = {Elvang-Gøransson, M. and Hunter, A.},
	Journal = {Data and Knowledge Engineering},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/ElvHun95.pdf},
	Pages = {125--145},
	Title = {{Argumentative Logics: Reasoning with Classical Inconsistent Information}},
	Volume = {16},
	Year = {1995}}

@inproceedings{EngMarTreTru:96,
	Author = {Engelfriet, J. and Marek, V. W. and Treur, J. and Truszczy\'{n}ski, M.},
	Booktitle = {Logics in Artificial Intelligence \'{E}vora, 1996},
	Pages = {224--236},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 1126},
	Title = {{Infinitary Default Logic for Specification of Nonmonotonic Reasoning}},
	Year = {1996}}

@book{ErdHajMatRad:csprc,
	Author = {Erd\H{o}s, P. and Hajnal, A. and M\'{a}t\'{e}, A. and Rado, R.},
	Publisher = {North-Holland},
	Title = {{Combinatorial Set Theory Partition Relations for Cardinals}},
	Year = {1984}}

@techreport{ErsAkm:smpp,
	Author = {Ersan, M. and Akman, V.},
	Institution = {Bikent University, Department of Computer Engineering and Information Science},
	Title = {{Situated Modeling of Epistemic Puzzles}},
	Year = {1994}}

@article{FagHal:88,
	Author = {Fagin, R. and Halpern, J. Y.},
	Journal = {Artificial Intelligence},
	Pages = {39--76},
	Title = {{Belief, Awareness and Limited Reasoning}},
	Volume = {34},
	Year = {1988}}

@book{FagHalMosVar:rak,
	Author = {Fagin, R. and Halpern, J. Y. and Moses, Y. and Vardi, M. Y.},
	Publisher = {MIT Press},
	Title = {{Reasoning About Knowledge}},
	Year = {1995}}

@article{FagHalVar:92,
	Annote = {pdf available},
	Author = {Fagin, R. and Halpern, J. Y. and Vardi, M. Y.},
	Date-Modified = {2005-01-22 06:01:27 +1100},
	Journal = {Journal of Symbolic Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/Misc/FagHalVar92.pdf},
	Number = {3},
	Pages = {1018--1045},
	Title = {{What is an Inference Rules?}},
	Volume = {57},
	Year = {1992}}

@article{FagHalVar:95,
	Annote = {pdf available},
	Author = {Fagin, R. and Halpern, J. Y. and Vardi, M. Y.},
	Date-Modified = {2005-02-16 15:00:52 +1100},
	Journal = {Artificial Intelligence},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/AI/FagHalVar95.pdf},
	Pages = {203--240},
	Title = {{A Nonstandard Approach to the Logical Omniscience Problem}},
	Volume = {79},
	Year = {1995}}

@article{FatGra:95,
	Author = {Fattorosi-Barnaba, M. and Grassotti, S.},
	Journal = {Mathematical Logic Quarterly},
	Pages = {547--563},
	Title = {{Infinitary Graded Modal Logic}},
	Volume = {41},
	Year = {1995}}

@book{FeiKro:edmcs,
	Annote = {my collection},
	Author = {Feil, T. and Krone, J.},
	Publisher = {Prentice Hall},
	Title = {{Essential Discrete Mathematics for Computer Science}},
	Year = {2003}}

@article{FinGabHunKraNus:94a,
	Annote = {pdf available},
	Author = {Finkelstein, A. and Gabbay, D. M. and Hunter, A. and Kramer, J. and Nuseibeh, B.},
	Date-Modified = {2004-12-22 13:00:08 +1100},
	Journal = {IEEE Transactions on Software Engineering},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/SE_Inconsistent/FinGabHunKraNus94.pdf},
	Pages = {569--578},
	Title = {{Inconsistency Handling in Multiperspective Specifications}},
	Volume = {20 (8)},
	Year = {1994}}

@inproceedings{FinWas:02,
	Annote = {pdf available},
	Author = {Finger, M. and Wassermann, R.},
	Booktitle = {16th Brazilian Symposium on Artificial Intelligence, SBIA 2002 Porto de Galinhas/Recife, Brazil, November 11-14, 2002. Proceeding},
	Editor = {Bittencourt, G. and Ramalho, G.},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/FinWas02.pdf},
	Pages = {21--30},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 2507},
	Title = {{Logics for Approximate Reasoning: Approximating Classical Logic `From Above'}},
	Year = {2002}}

@article{FinWas:04,
	Annote = {pdf available},
	Author = {Finger, M. and Wassermann, R.},
	Journal = {Journal of Logic and Computation},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/FinWas04.pdf},
	Pages = {179--204},
	Title = {{Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control}},
	Volume = {14 (2)},
	Year = {2004}}

@article{FitMarTru:92,
	Author = {Fitting, M. C. and Marek, V. W. and Truszczy\'{n}ski, M.},
	Journal = {Journal of Logic and Computation},
	Pages = {349--373},
	Title = {{The Pure Logic of Necessitation}},
	Volume = {2 (3)},
	Year = {1992}}

@article{FleKulSze:01,
	Annote = {pdf available},
	Author = {Fleischner, H. and Kullmann, O. and Szeider, S.},
	Date-Modified = {2005-02-15 17:08:21 +1100},
	Journal = {Theoretical Computer Science},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/UnSAT/FleKulSze02.pdf},
	Number = {1},
	Pages = {503--516},
	Title = {{Polynomial-Time Recognition of Minimal Unsatisfiable Formulas with Fixed Clause-Variable Difference}},
	Volume = {289},
	Year = {2002}}

@article{FonJanPig:03,
	Annote = {pdf available},
	Author = {Font, J. M. and Jansana, R. and Pigozzi, D.},
	Journal = {Studia Logica},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/AlgebraicLogic/FonJanPig03.pdf},
	Pages = {13--97},
	Title = {{A Survey of Abstract Algebraic Logic}},
	Volume = {74},
	Year = {2003}}

@article{FonRod:94,
	Annote = {pdf available},
	Author = {Font, J. M. and Rodriguez, G.},
	Journal = {Notre Dame Journal of Formal Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/FonRod94.pdf},
	Pages = {369--397},
	Title = {{Algebraic Study of Two Deductive Systems of Relevance Logic}},
	Volume = {35 (3)},
	Year = {1994}}

@article{ForGen:05,
	Annote = {pdf available},
	Author = {Forcheri, P. and Gentilini, P.},
	Date-Added = {2005-04-17 09:09:39 +1000},
	Date-Modified = {2005-04-17 09:10:51 +1000},
	Journal = {Journal of Applied Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/WoPaLo/ForGen05.pdf},
	Pages = {97--118},
	Title = {{Paraconsistent Informational Logic}},
	Volume = {3},
	Year = {2005}}

@article{ForGenMol:99,
	Annote = {pdf available},
	Author = {Forcheri, P. and Gentilini, P. and Molfino, M. T.},
	Date-Modified = {2005-02-17 14:45:38 +1100},
	Journal = {AI Communications},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/AI/ForGenMol99.pdf},
	Pages = {185--208},
	Title = {{Informational Logic in Knowledge Representation and Automated Deduction}},
	Volume = {12},
	Year = {1999}}

@inproceedings{FoxPar:98,
	Author = {Fox, J. and Parsons, S.},
	Booktitle = {Applications of Uncertainty Formalisms},
	Editor = {Hunter, A. and Parson, S.},
	Pages = {266--302},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 1455},
	Title = {{Arguing About Beliefs and Action}},
	Year = {1998}}

@article{FraGel:03,
	Annote = {pdf available},
	Author = {Franco, J. and van Gelder, A.},
	Date-Modified = {2005-02-16 10:21:24 +1100},
	Journal = {Discrete Applied Mathematics},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/UnSAT/FraGel03.pdf},
	Pages = {177--214},
	Title = {{A Perspective on Certain Polynomial Time Solvable Classes of Satisfiability}},
	Volume = {125},
	Year = {2003}}

@article{FraSwa:03,
	Annote = {pdf available},
	Author = {Franco, J. and Swaminathan, R.},
	Date-Added = {2005-02-16 10:23:35 +1100},
	Date-Modified = {2005-02-16 10:25:33 +1100},
	Journal = {Discrete Applied Mathematics},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/UnSAT/FraSwa03.pdf},
	Pages = {129--138},
	Title = {{On Good Algorithms for Determining Unsatisfiability of Propositional Formulas}},
	Volume = {130},
	Year = {2003}}

@article{FreDan:78,
	Author = {Freeman, J. B. and Daniels, C. B.},
	Journal = {Dialogue},
	Pages = {56--71},
	Title = {{Maximal Propositions and the Coherence Theory of Truth}},
	Volume = {17 (1)},
	Year = {1978}}

@article{FreDan:79,
	Annote = {pdf available},
	Author = {Freeman, J. B. and Daniels, C. B.},
	Date-Modified = {2006-04-11 21:38:48 +1000},
	Journal = {Studia Logica},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/FreDan79.pdf},
	Number = {2},
	Pages = {113--135},
	Title = {{A Second-Order Relevance Logic with Modality}},
	Volume = {38},
	Year = {1979}}

@article{FreLeh:93,
	Author = {Freund, M. and Lehmann, D.},
	Journal = {Journal of the Interest Group in Pure and Applied Logics},
	Pages = {23--68},
	Title = {{Nonmonotonic Inference Operation}},
	Volume = {1 (1)},
	Year = {1993}}

@article{FreLeh:94,
	Annote = {pdf available},
	Author = {Freund, M. and Lehmann, D.},
	Date-Modified = {2006-04-11 21:35:57 +1000},
	Journal = {Studia Logica},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/Nonmonotonic/FreLeh94.pdf},
	Number = {2},
	Pages = {161--201},
	Title = {{Nonmonotonic Reasoning: from Finitary Relations to Infinitary Inference Operation}},
	Volume = {53},
	Year = {1994}}

@unpublished{FriHal:99,
	Author = {Friedman, N. and Halpern, J. Y.},
	Note = {to appear in Journal of the ACM},
	Title = {{Plausibility Measures and Default Reasoning}},
	Year = {1998}}

@article{FriMey:92,
	Annote = {pdf available},
	Author = {Friedman, H. and Meyer, R. K.},
	Date-Modified = {2005-01-22 05:49:14 +1100},
	Journal = {Journal of Symbolic Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/FriMey92.pdf},
	Number = {3},
	Pages = {824--831},
	Title = {{Whither Relevant Arithmetic?}},
	Volume = {57},
	Year = {1992}}

@unpublished{GabGov:98,
	Author = {Gabbay, D. M. and Governatori, G.},
	Note = {preprint},
	Title = {{Fibred Modal Tableaux}},
	Year = {1998}}

@inproceedings{GabHun:91,
	Author = {Gabbay, D. M. and Hunter, A.},
	Booktitle = {Fundamentals of Artificial Intelligence Research},
	Pages = {19--32},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 535},
	Title = {{Making Inconsistency Respectable: a Logical Framework For Inconsistency in Reasoning, Part I - a Position Paper}},
	Year = {1991}}

@inproceedings{GabHun:93a,
	Author = {Gabbay, D. M. and Hunter, A.},
	Booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty 93},
	Pages = {129--136},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 747},
	Title = {{Making Inconsistency Respectable: Part 2 - Meta-level Handling of Inconsistency}},
	Year = {1993}}

@inproceedings{GabHun:93b,
	Author = {Gabbay, D. M. and Hunter, A.},
	Booktitle = {Symbolic and Quantitative Approaches to Reasoning and Uncertainty 93},
	Pages = {137--144},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 747},
	Title = {{Restricted Access Logics for Inconsistent Information}},
	Year = {1993}}

@incollection{GabHun:99,
	Author = {Gabbay, D. M. and Hunter, A.},
	Booktitle = {What is Negation?},
	Editor = {Gabbay, D. M. and Wansing, H.},
	Publisher = {Kluwer Academic Pub.},
	Series = {Applied Logic Series vol 13},
	Title = {{Negation and Contradiction}},
	Year = {1999}}

@unpublished{GabOli:gdpt,
	Author = {Gabbay, D. M. and Olivetti, N.},
	Note = {draft},
	Title = {{Goal-Directed Proof Theory}},
	Year = {2001}}

@article{GabQue:92,
	Annote = {pdf available},
	Author = {Gabbay, D. M. and de Queiroz, R. J. G. B.},
	Date-Modified = {2005-01-22 05:44:42 +1100},
	Journal = {Journal of Symbolic Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/Substructural/GabQue92.pdf},
	Number = {4},
	Pages = {1319--1365},
	Title = {{Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics}},
	Volume = {57},
	Year = {1992}}

@book{GabWan:nc,
	Editor = {Gabbay, D. M. and Wansing, H.},
	Publisher = {Kluwer Academic Pub.},
	Series = {Applied Logic Series vol 13},
	Title = {{What is Negation?}},
	Year = {1999}}

@article{GabWoo:01,
	Author = {Gabbay, D. M. and Woods, J.},
	Date-Modified = {2005-01-22 10:06:44 +1100},
	Journal = {Journal of the Interest Group in Pure and Applied Logics},
	Pages = {157--190},
	Title = {{The New Logic}},
	Volume = {9 (2)},
	Year = {2001}}

@article{GalLewSag:04,
	Annote = {pdf available},
	Author = {Galli, A. and Lewin, R. A. and Sagastume, M.},
	Journal = {Archive for Mathematical Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/GalLewSag04.pdf},
	Pages = {141--158},
	Title = {{The Logic of Equilibrium and Abelian Lattice Ordered Groups}},
	Volume = {43},
	Year = {2004}}

@book{GarJoh:np,
	Author = {Garey, M. R. and Johnson, D. S.},
	Publisher = {W. H. Freeman and Co.},
	Title = {{Computers and Intractability: a Guide to the Theory of NP- Completeness}},
	Year = {1979}}

@book{GarOak:tr,
	Author = {Garnham, A. and Oakhill, J.},
	Publisher = {Basil Blackwell},
	Title = {{Thinking and Reasoning}},
	Year = {1994}}

@book{GarUllWid:dsi,
	Annote = {my collection},
	Author = {Garcia-Molina, H. and Ullman, J. D. and Widom, J.},
	Publisher = {Prentice Hall},
	Title = {{Database System Implementation}},
	Year = {2000}}

@techreport{GauJacHav:97,
	Author = {Gaur, D. R. and Jackson, W. K. and Havens, W. S.},
	Institution = {School of Computing Science, Simon Fraser University, TR 97-01},
	Title = {{Detecting Unsatisfiable CSPs by Coloring the Micro-Structure}},
	Year = {1997}}

@article{GelLif:91,
	Author = {Gelfond, M. and Lifschitz, V.},
	Journal = {New Generation Computing},
	Pages = {365--385},
	Title = {{Classical Negation in Logic Programs and Disjunctive Databases}},
	Volume = {9},
	Year = {1991}}

@unpublished{GenProWal:99,
	Author = {Gent, I. P. and Prosser, P. and Walsh, T.},
	Note = {under review for Journal of the ACM},
	Title = {{The Constrainedness of Search}},
	Year = {1999}}

@article{GeoKavPap:88,
	Author = {Georgakopoulos, G. and Kavvadias, D. and Papadimitriou, C. H.},
	Journal = {Journal of Complexity},
	Pages = {1--11},
	Title = {{Probabilistic Satisfiability}},
	Volume = {4},
	Year = {1988}}

@article{GerGro:97,
	Annote = {pdf available},
	Author = {Gerbrandy, J. and Groeneveld, W.},
	Date-Added = {2005-03-31 16:52:02 +1000},
	Date-Modified = {2005-03-31 16:53:43 +1000},
	Journal = {Journal of Logic, Language, and Information},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/EpistemicLogic/GerGro97.pdf},
	Pages = {147--169},
	Title = {{Reasoning about Information Change}},
	Volume = {6},
	Year = {1997}}

@unpublished{GhiSer:98,
	Author = {Ghidini, C. and Serafini, L},
	Note = {preprint},
	Title = {{Distributed First Order Logics}},
	Year = {1998}}

@inproceedings{GhiSer:98a,
	Author = {Ghidini, C. and Serafini, L},
	Booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 1998. Proceedings},
	Editor = {Giunchiglia, F.},
	Pages = {267--280},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 1480},
	Title = {{Model Theoretic Semantics for Information Integration}},
	Year = {1998}}

@inproceedings{GhiSer:99,
	Author = {Ghidini, C. and Serafini, L},
	Booktitle = {Modeling and Using Context, Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 1999. Proceedings},
	Editor = {Bouquet, P. and Serafini, L. and Br\'{e}zillon, P. and Benerecetti, M. and Castellani, F.},
	Pages = {159--172},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 1688},
	Title = {{A Context-Based Logic for Distrbuted Knowledge Representation and Reasoning}},
	Year = {1999}}

@article{GiaMeyUrq:87,
	Annote = {pdf available},
	Author = {Giambrone, S. and Meyer, R. K. and Urquhart, A.},
	Date-Modified = {2005-01-22 05:51:13 +1100},
	Journal = {Journal of Symbolic Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/GiaMeyUrq87.pdf},
	Number = {2},
	Pages = {526--529},
	Title = {{A Contractionless Semilattice Semantics}},
	Volume = {52},
	Year = {1987}}

@book{GibHug:sad,
	Author = {Gibson, M. L. and Hughes, C. T.},
	Publisher = {Boyd {\&} Fraser Publishing},
	Title = {{System Analysis and Design: A Comprehensive Methodology with CASE}},
	Year = {1994}}

@inproceedings{GinMca:94,
	Author = {Ginsberg, M. L. and McAllester, D. A.},
	Booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning},
	Editor = {Torasso, P. and Doyle, J. and Sandewall, E.},
	Pages = {226--237},
	Publisher = {Morgan Kaufmann},
	Title = {{GSAT and Dynamic Backtracking}},
	Year = {1994}}

@article{GiuWal:93,
	Annote = {pdf available},
	Author = {Giunchiglia, F. and Walsh, T.},
	Date-Modified = {2006-04-11 21:39:04 +1000},
	Journal = {Journal of Automated Reasoning},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/GiuWal93.pdf},
	Number = {1},
	Pages = {23},
	Title = {{The Inevitability of Inconsistent Abstract Spaces}},
	Volume = {11},
	Year = {1993}}

@book{GlaNarCha:dr,
	Editor = {Glasgow, J. and Narayanan, N. H. and Chandrasekaran, B.},
	Publisher = {MIT Press},
	Title = {{Diagrammatic Reasoning, Cognitive and Computational Perspectives}},
	Year = {1995}}

@book{GodRou:lsc,
	Author = {Goddard, H. and Routley, R.},
	Publisher = {Scottish Academic Press},
	Title = {{The Logic of Significance and Context}},
	Year = {1973}}

@article{GodZap:01,
	Annote = {pdf available},
	Author = {Godo, L. and Zapico, A.},
	Journal = {Applied Intelligence},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/GodZap01.pdf},
	Pages = {319--333},
	Title = {{On the Possibilistic-Based Decision Model: Characterization of Preference Relations Under Partial Inconsistency}},
	Volume = {14},
	Year = {2001}}

@book{GooMahNgu:mdf,
	Author = {Goodman, I. R. and Mahler, R. P. S. and Nguyen, H. T.},
	Publisher = {Kluwer Academic Pub.},
	Title = {{Mathematics of Data Fusion}},
	Year = {1997}}

@inproceedings{GopTou:91,
	Annote = {pdf available},
	Author = {Gopal, A. and Toueg, S.},
	Booktitle = {Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/GopTou91.pdf},
	Pages = {257--272},
	Publisher = {ACM},
	Title = {{Inconsistency and Contamination (Preliminary Version)}},
	Year = {1991}}

@article{GorPas:92,
	Author = {Goranko, V. and Passy, S.},
	Journal = {Journal of Logic and Computation},
	Pages = {5--30},
	Title = {{Using the Universal Modality: Gain and Questions}},
	Volume = {2 (1)},
	Year = {1992}}

@book{GraNguWal:fucafi,
	Author = {Grabishc, M. and Nguyen, H. T. and Walker, E. A.},
	Publisher = {Kluwer Academic Pub.},
	Title = {{Fundamentals of Uncertainty Calculi with Application to Fuzzy Inference}},
	Year = {1995}}

@book{GraRotSpe:rt,
	Author = {Graham, R. and Rothschild, B. L. and Spencer, J. H.},
	Publisher = {John Wiley {\&} Sons, Inc.},
	Title = {{Ramsey Theory, second edition}},
	Year = {1990}}

@article{GraSub:00,
	Annote = {pdf available},
	Author = {Grant, J. and Subrahmanian, V. S.},
	Journal = {Synthese},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/GraSub00.pdf},
	Pages = {121--132},
	Title = {{Applications of Paraconsistency in Data and Knowledge Bases}},
	Volume = {125},
	Year = {2000}}

@article{GraSub:95,
	Author = {Grant, J. and Subrahmanian, V. S.},
	Journal = {IEEE Transactions on Knowledge and Data Engineering},
	Pages = {177--189},
	Title = {{Reasoning in Inconsistent Knowledge Bases}},
	Volume = {7 (1)},
	Year = {1995}}

@book{GraTre:ldm,
	Annote = {my collection},
	Author = {Grassmann, W. L. and Tremblay, J. P.},
	Publisher = {Prentice Hall},
	Title = {{Logic and Discrete Mathematics: A Computer Science Perspective}},
	Year = {1996}}

@inproceedings{GreCoh:97,
	Author = {Gregory, D. E. and Cohen, P. R.},
	Booktitle = {Advances in Intelligent Data Analysis: Reasoning about Data, Second International Symposium, IDA-97, London, UK, August 4-6, 1997. Proceedings},
	Editor = {Liu, X. and Cohen, P. and Berthold, M.},
	Pages = {77--88},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 1280},
	Title = {{Integrating Many Techniques for Discovering Structure in Data}},
	Year = {1997}}

@article{GriDenKok:04,
	Annote = {pdf available},
	Author = {Grim, P. and St. Denis, P. and Kokalis, T.},
	Journal = {Minds and Machines},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/Semantic_Information/GriDenKok04.pdf},
	Number = {43--66},
	Title = {{Information and Meaning: Use-Based Models in Arrays of Neural Nets}},
	Volume = {14},
	Year = {2004}}

@book{GriElg:gtg,
	Author = {Grinder, J. T. and Elgin, S. H.},
	Publisher = {Holt, Rinehart and Winston, Inc.},
	Title = {{Guide to Transformational Grammar}},
	Year = {1973}}

@article{GroHalKoh:94,
	Annote = {pdf available},
	Author = {Grove, A. J. and Halpern, J. Y. and Koller, D.},
	Date-Modified = {2005-02-17 15:10:42 +1100},
	Journal = {Journal of Artificial Intelligence Research},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/AI/GroHalKoh94.pdf},
	Pages = {33--88},
	Title = {{Random Worlds and Maximum Entropy}},
	Volume = {2},
	Year = {1994}}

@unpublished{GroVli:ml,
	Author = {Groote, J. F. and van Vlijmen, S. F. M.},
	Note = {Utrecht University Logic Preprint},
	Title = {{A Modal Logic for $\mu$CRL}}}

@article{GruVit:03,
	Annote = {pdf available},
	Author = {Gr\"{u}nwald, P. D. and Vit\'{a}nyi, P. M. B.},
	Journal = {Journal of Logic, Language, and Information},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/Semantic_Information/GruVit03.pdf},
	Pages = {497--529},
	Title = {{Kolmogorov Complexity and Information Theory}},
	Volume = {125},
	Year = {2003}}

@book{GupBel:rtt,
	Author = {Gupta, A. and Belnap, N. D.},
	Publisher = {MIT Press},
	Title = {{The Revision Theory of Truth}},
	Year = {1993}}

@article{GuvKha:99,
	Annote = {pdf available},
	Author = {Gurvich, V. and Khachiyan, L.},
	Date-Modified = {2005-01-22 12:26:09 +1100},
	Journal = {Discrete Applied Mathematics},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/PrimeImplicate/GurKha99.pdf},
	Pages = {363--373},
	Title = {{On Generating the Irredundant Conjunctive and Disjunctive Normal Forms of Monotone Boolean Functions}},
	Volume = {96--97},
	Year = {1999}}

@article{HACosta:05,
	Annote = {pdf available},
	Author = {Costa, H. A.},
	Date-Added = {2006-02-26 21:54:12 +1100},
	Date-Modified = {2006-04-11 21:39:22 +1000},
	Journal = {Journal of Philosophical Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/HACosta05.pdf},
	Number = {5--6},
	Pages = {581--605},
	Title = {{Non-Adjunctive Inference and Classical Modalities}},
	Volume = {34},
	Year = {2005}}

@article{HWkuhn:56,
	Annote = {pdf available},
	Author = {Kuhn, H. W.},
	Date-Added = {2005-02-15 21:10:51 +1100},
	Date-Modified = {2005-02-15 21:12:57 +1100},
	Journal = {American Mathematical Monthly},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/OverConstraint/HWkuhn56.pdf},
	Number = {4},
	Pages = {217--232},
	Title = {{Solvability and Consistency for Linear Equations and Inequalities}},
	Volume = {63},
	Year = {1956}}

@article{HalMos:92,
	Author = {Halpern, J. Y. and Moses, Y.},
	Journal = {Artificial Intelligence},
	Pages = {319--379},
	Title = {{A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief}},
	Volume = {54},
	Year = {1992}}

@article{HanHaw:85,
	Annote = {pdf available},
	Author = {Hanson, W. H. and Hawthorne, J.},
	Journal = {Notre Dame Journal of Formal Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/ModalLogic/HanHaw85.pdf},
	Pages = {9--35},
	Title = {{Validity in Intensional Languages: a New Approach}},
	Volume = {26 (1)},
	Year = {1985}}

@incollection{HanJau:01,
	Author = {Hansen, P. and Jaumard, B.},
	Booktitle = {Handbook of Defeasible Reasoning and Uncertainty Management Systems Vol. 5: Algorithms for Uncertainty and Defeasible Reasoning},
	Date-Modified = {2005-12-28 15:17:48 +1100},
	Editor = {Kohlas, J. and Moral, S.},
	Pages = {321--368},
	Publisher = {Kluwer Academic Pub.},
	Title = {{Probabilistic Satisfiability}},
	Year = {2001}}

@article{HanJauAra:95,
	Annote = {pdf available},
	Author = {Hansen, P. and Jaumard, B. and de Arag\~{a}o M. P.},
	Date-Modified = {2005-02-16 10:20:34 +1100},
	Journal = {Discrete Applied Mathematics},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/UnSAT/HanJauAra95.pdf},
	Pages = {181--193},
	Title = {{Boole's Conditions of Possible Experience and Reasoning Under Uncertainty}},
	Volume = {60},
	Year = {1995}}

@article{HanJauAra:98,
	Author = {Hensen, P. and Jaumard, B. and de Arag\~{a}o, M. P.},
	Journal = {European Journal of Operational Research},
	Pages = {617--683},
	Title = {{Mixed-integer Column Generation Algorithms and the Proababilistic Maximum Satisfiability Problem}},
	Volume = {108},
	Year = {1998}}

@article{HanJauAraChaPer:00,
	Author = {Hansen, P. and Jaumard, B. and de Arag\~{a}o M. P. and Chauny, F. and Perron, S.},
	Journal = {International Journal of Approximate Reasoning},
	Pages = {171--189},
	Title = {{Probabilistic Satisfiability with Imprecise Probabilities}},
	Volume = {24},
	Year = {2000}}

@book{HanKam:dm,
	Author = {Han, J. and Kamer, M.},
	Publisher = {Morgan Kaufmann},
	Title = {{Data Mining: Concepts and Techniques}},
	Year = {2001}}

@article{HanLin:04,
	Annote = {pdf available},
	Author = {Han, Q. and Lin, Z. Q.},
	Journal = {Journal of Software},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/HanLin04.pdf},
	Pages = {1030--1041},
	Title = {{Default Reasoning with Inconsistent Knowledge}},
	Volume = {15 (7)},
	Year = {2004}}

@inproceedings{HanLin:04a,
	Annote = {pdf available},
	Author = {Han, Q and Lin, Z. Q.},
	Booktitle = {10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings},
	Date-Modified = {2004-12-23 14:25:52 +1100},
	Editor = {J. P. Delgrande and T. Schaub},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/HanLin04a.pdf},
	Pages = {197-203},
	Title = {{Paraconsistent Default Reasoning}},
	Year = {2004}}

@article{HenLiu:95,
	Author = {Hennessy, M. and Liu, X.},
	Journal = {Acta Informatica},
	Pages = {375--393},
	Title = {{A Modal Logic for Message Passing Processes}},
	Volume = {32},
	Year = {1995}}

@techreport{HerJasWag:95,
	Author = {Herre, H. and Jaspars, J. O. M. and Wagner, G.},
	Institution = {Computer Science / Department of Software Technology, Centrum voor Wiskunde en Informatica (CWI), CS-R9574},
	Title = {{Partial Logics with Two Kinds of Negation As A Foundation for Knowledge-Based Reasoning}},
	Year = {1995}}

@inproceedings{HerPea:92,
	Author = {Herre, H. and Pearce, D.},
	Booktitle = {Logics in AI},
	Pages = {391--410},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 633},
	Title = {{Disjunctive Logic Programming, Constructivity and Strong Negation}},
	Year = {1992}}

@book{HinSup:ail,
	Editor = {Hintikka, J. and Suppes, P.},
	Publisher = {North-Holland},
	Title = {{Aspects of Inductive Logic}},
	Year = {1966}}

@book{HinSup:ii,
	Editor = {Hintikka, J. and Suppes, P.},
	Publisher = {D. Reidel Pub.},
	Title = {{Information and Inference}},
	Year = {1970}}

@techreport{HoeJasThi:95,
	Author = {van der Hoek, W. and Jaspars, J. O. M. and Thijsse, E.},
	Institution = {Computer Science / Department of Software Technology, Centrum voor Wiskunde en Informatica (CWI), CS-R9512},
	Title = {{Honesty in Partial Logic}},
	Year = {1995}}

@article{HofSitYua:04,
	Annote = {pdf available},
	Author = {Hoffmanna, C. M. and Sitharamb, M. and Yuana, B.},
	Date-Added = {2005-02-15 21:29:34 +1100},
	Date-Modified = {2005-02-15 21:32:45 +1100},
	Journal = {Computer-Aided Design},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/OverConstraint/HofSitYua03.pdf},
	Pages = {377--399},
	Title = {{Making Constraint Solvers More Usable: Overconstraint Problem}},
	Volume = {36},
	Year = {2004}}

@article{HowJac:98,
	Annote = {pdf available},
	Author = {Hower, W. and Jacob, S.},
	Date-Modified = {2005-02-17 15:03:11 +1100},
	Journal = {Journal of Experiment and Theoretical Artificial Intelligence},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/OverConstraint/HowJac98.pdf},
	Pages = {37--47},
	Title = {{Fine-grained Conflict Resolution in Constraint Satisfaction Problems}},
	Volume = {10},
	Year = {1998}}

@book{HugCre:niml,
	Author = {Hughes, G. E. and Cresswell, M. J.},
	Publisher = {Routledge},
	Title = {{A New Introduction to Modal Logic}},
	Year = {1996}}

@incollection{HunKon:05,
	Annote = {pdf available},
	Author = {Hunter, A. and Konieczny, S.},
	Booktitle = {Inconsistency Tolerance},
	Date-Modified = {2005-01-20 07:49:06 +1100},
	Editor = {Leopoldo Bertossi, Anthony Hunter and Torsten Schaub},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/InconsistencyTolerance/LNCS_Volume/content07.pdf},
	Pages = {191 -- 236},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 3300},
	Title = {{Approaches to Measuring Inconsistent Information}},
	Year = {2005}}

@inproceedings{HunNus:97,
	Author = {Hunter, A. and Nuseibeh, B.},
	Booktitle = {Proceedings of the Third IEEE International Symposium on Requirements Engineering (RE'97)},
	Pages = {78--86},
	Publisher = {IEEE Computer Society Press},
	Title = {{Analysing Inconsistent Specifications}},
	Year = {1997}}

@article{HunNus:98,
	Annote = {pdf available},
	Author = {Hunter, A. and Nuseibeh, B.},
	Date-Modified = {2005-02-17 04:12:00 +1100},
	Journal = {ACM Transactions on Software Engineering and Methodology},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/SE_Inconsistent/HunBus98.pdf},
	Number = {4},
	Pages = {335--367},
	Title = {{Managing Inconsistent Specifications: Reasoning, Analysis and Action}},
	Volume = {7},
	Year = {1998}}

@book{HunPar:auf,
	Editor = {Hunter, A. and Parson, S.},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 1455},
	Title = {{Applications of Uncertainty Formalisms}},
	Year = {1998}}

@inproceedings{HunSum:03,
	Annote = {pdf available},
	Author = {Hunter, A. and Summerton, R.},
	Booktitle = {Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ESQARU 2003)},
	Editor = {T. D. Nielsen and N. L. Zhang},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/HunSum03.pdf},
	Pages = {502--514},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 2711},
	Title = {{Propositional Fusion Rules}},
	Year = {2003}}

@book{HutRya:lcs,
	Annote = {my collection},
	Author = {Huth, M. R. and Ryan, M. D.},
	Publisher = {Cambridge University Press},
	Title = {{Logic in Computer Science: Modelling and Reasoning about System}},
	Year = {2000}}

@incollection{IsrPer:90,
	Author = {Israel, D. and Perry, J.},
	Booktitle = {Information, Language and Cognition},
	Editor = {Hanson, P. P.},
	Pages = {1--19},
	Publisher = {Oxford University Press},
	Series = {Vancouver Studies in Cognitive Science vol 1},
	Title = {{What is Information?}},
	Year = {1990}}

@book{JamFreMah:ocs,
	Editor = {Jampel, M. and Freuder, E. and Maher, M.},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 1106},
	Title = {{Over-Constrained Systems}},
	Year = {1996}}

@article{JecShe:91,
	Author = {Jech, T. and Shelah, S.},
	Journal = {Journal of the American Mathematical Society},
	Pages = {647--656},
	Title = {{A Partition Theorem for Pairs of Finite Sets}},
	Volume = {4 (4)},
	Year = {1991}}

@inproceedings{JenChaDow:91,
	Author = {Jennings, R. E. and Chan, C. W. and Dowad, M. J.},
	Booktitle = {Proceedings of the Twelfth International Joint Conferences on Artificial Intelligence},
	Pages = {1046--1051},
	Title = {{Generalised Inference and Inference Modelling}},
	Volume = {2},
	Year = {1991}}

@article{JenJoh:83,
	Author = {Jennings, R. E. and Johnston, D. K.},
	Journal = {Logique Et Analyse},
	Pages = {291--307},
	Title = {{Paradox-Tolerant Logic}},
	Volume = {26},
	Year = {1983}}

@article{JenPelOto:88,
	Author = {Jennings, R. E. and Pelham, J. M. and O'Toole, R. R.},
	Journal = {Zeitschrift F\"{u}r Mathematische Logik Und Grundlag Der Mathematik},
	Pages = {19--24},
	Title = {{Modal Undefinability in Some Alternative Leibnizian Frames}},
	Volume = {34},
	Year = {1988}}

@article{JenSch:78,
	Author = {Jennings, R. E. and Schotch, P. K.},
	Journal = {Logique Et Analyse},
	Pages = {451--458},
	Title = {{De Re and De Dicto Beliefs}},
	Volume = {21},
	Year = {1978}}

@article{JenSch:81,
	Annote = {pdf available},
	Author = {Jennings, R. E. and Schotch, P. K.},
	Journal = {Notre Dame Journal of Formal Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/ModalLogic/JenSch81.pdf},
	Pages = {309--314},
	Title = {{Some Remarks on (Weakly) Weak Modal Logics}},
	Volume = {22},
	Year = {1981}}

@article{JenSch:84,
	Annote = {pdf available},
	Author = {Jennings, R. E. and Schotch, P. K.},
	Date-Modified = {2006-02-25 17:34:11 +1100},
	Journal = {Studia Logica},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/StudiaLogicaParaconsistency/JenSch84.pdf},
	Number = {1--2},
	Pages = {89--106},
	Title = {{The Preservation of Coherence}},
	Volume = {43},
	Year = {1984}}

@article{JenSchJoh:80b,
	Author = {Jennings, R. E. and Schotch, P. K. and Johnston, D. K.},
	Journal = {Zeitschrift F\"{u}r Mathematische Logik Und Grundlag Der Mathematik},
	Pages = {327--330},
	Title = {{Universal First Order Definability in Modal Logic}},
	Volume = {26},
	Year = {1980}}

@article{JenSchJoh:81,
	Annote = {pdf available},
	Author = {Jennings, R. E. and Schotch, P. K. and Johnston, D. K.},
	Journal = {Notre Dame Journal of Formal Logic},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/ModalLogic/JenSchJoh81.pdf},
	Pages = {375--378},
	Title = {{The N-adic First Order Undefinability of the Geach Formula}},
	Volume = {22},
	Year = {1980}}

@article{JonTar:51,
	Annote = {pdf available},
	Author = {J\`{o}nsson, B. and Tarski, A.},
	Journal = {American Journal of Mathematics},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/ModalLogic/JonTar51.pdf},
	Pages = {891--939},
	Title = {{Boolean Algebras with Operators: Part I}},
	Volume = {73},
	Year = {1951}}

@article{JonTar:52,
	Annote = {pdf available},
	Author = {J\`{o}nsson, B. and Tarski, A.},
	Journal = {American Journal of Mathematics},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/ModalLogic/JonTar52.pdf},
	Pages = {127--162},
	Title = {{Boolean Algebras with Operators: Part II}},
	Volume = {74},
	Year = {1952}}

@article{JonTilWri:98,
	Author = {Jones, S. and Till, D. and Wrightson, A. M.},
	Journal = {Journal of Systems Software},
	Pages = {263--273},
	Title = {{Formal Methods and Requirements Engineering: Challenges and Synergies}},
	Volume = {40},
	Year = {1998}}

@article{JouGreBos:01,
	Author = {Jousselme, A. L. and Grenier, D. and Boss\'{e}, \'{E}.},
	Journal = {Information Fusion},
	Pages = {91--101},
	Title = {{A New Distance Between Two Bodies of Evidence}},
	Volume = {2},
	Year = {2001}}

@article{JunKow:98,
	Annote = {pdf available},
	Author = {J\"{u}ngen, F. and Kowalczyk, W.},
	Date-Modified = {2005-02-17 15:03:43 +1100},
	Journal = {Journal of Experiment and Theoretical Artificial Intelligence},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/OverConstraint/JunKow98.pdf},
	Pages = {49--62},
	Title = {{Approximate Algorithms for Generalized Maximum Utility}},
	Volume = {10},
	Year = {1998}}

@article{JusLho:02,
	Annote = {pdf available},
	Author = {Jussien, N. and Lhomme, O.},
	Date-Added = {2005-02-15 21:20:37 +1100},
	Date-Modified = {2005-02-15 21:23:23 +1100},
	Journal = {Artificial Intelligence},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/OverConstraint/JusLho02.pdf},
	Pages = {21--45},
	Title = {{Local Search with Constraint Propagation and Conflict-Based Heuristics}},
	Volume = {139},
	Year = {2002}}

@article{KalLeh:1995,
	Author = {Kaluzhny, Y. and Lehmann, D.},
	Journal = {Journal of Logic and Computation},
	Title = {{Deductive Nonmonotonic Inference Operations: Antitonic Representations}},
	Volume = {5 (1)},
	Year = {1995}}

@article{KalMur:93,
	Author = {Kaluzhny, Y. and Muravitsky, A. Y.},
	Journal = {Journal of Applied Non-Classical Logics},
	Pages = {189--203},
	Title = {{A Knowledge Representation Based on the Belnap's Four-Valued Logic}},
	Volume = {3 (2)},
	Year = {1993}}

@inproceedings{KauSel:91,
	Author = {Kautz, H. and Selman, B.},
	Booktitle = {Proceedings of International Workshop on Processing Delarative Knowledge},
	Editor = {Richter, H. and Richter, M.},
	Pages = {287--300},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 567},
	Title = {{A General Framework for Knowledge Compilation}},
	Year = {1991}}

@article{KauSel:96,
	Author = {Kautz, H. and Selman, B.},
	Journal = {Journal of the ACM},
	Pages = {193--224},
	Title = {{Knowledge Compilation and Theory Approximation}},
	Volume = {43 (2)},
	Year = {1996}}

@article{KerVan:03,
	Annote = {pdf available},
	Author = {Van Kerkhove, B. and Vanackere, G.},
	Journal = {Studia Logica},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/KerVan03.pdf},
	Pages = {383--411},
	Title = {{Vagueness-Adaptive Logic: A Pragmatical Approach}},
	Volume = {75},
	Year = {2003}}

@inproceedings{KifLoz:89,
	Annote = {ps available},
	Author = {Kifer, M. and Lozinskii, E. L.},
	Booktitle = {Proceedings: Symposium on Logic in Computer Science},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/KifLoz89.ps},
	Pages = {253--262},
	Title = {{RI: a Logic for Reasoning with Inconsistency}},
	Year = {1989}}

@article{KifLoz:92,
	Annote = {pdf available},
	Author = {Kifer, M. and Lozinskii, E. L.},
	Date-Modified = {2006-04-11 21:40:44 +1000},
	Journal = {Journal of Automated Reasoning},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/KifLoz92.pdf},
	Pages = {179--215},
	Title = {{A Logic for Reasoning with Inconsistency}},
	Volume = {9},
	Year = {1992}}

@unpublished{KifSub:98,
	Author = {Kifer, M. and Subrahmanian, V. S.},
	Note = {preprint, Department of Computer Science, SUNY at Stony Brook and University of Maryland},
	Title = {{Theory of Generalized Annotated Logic Programming and Its Applications}},
	Year = {1998}}

@inproceedings{KirWro:98,
	Author = {Kirsten, M. and Wrobel, S.},
	Booktitle = {Proceedings of the Eight International Conference on Inductive Logic Programming},
	Editor = {Page, D.},
	Pages = {261--270},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 1446},
	Title = {{Relational Distance-Based Clustering}},
	Year = {1998}}

@book{KleKup:rraomm,
	Annote = {my collection},
	Author = {Kleinabum, D. G. and Kupper, L. L.},
	Publisher = {Duxbury Press},
	Title = {{Applied Regression Analysis and Other Multivariable Methods}},
	Year = {1978}}

@article{KleWarMaa:00,
	Annote = {pdf available},
	Author = {de Klerk, E. and Warners, J. P. and van Maaren, H.},
	Date-Modified = {2006-04-11 21:46:03 +1000},
	Journal = {Journal of Automated Reasoning},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/UnSAT/KleMaaWar00.pdf},
	Number = {1--2},
	Pages = {37--65},
	Title = {{Relaxations of the Satisfiability Problem Using Semidefinite Programming}},
	Volume = {24},
	Year = {2000}}

@article{KonBia:99,
	Annote = {pdf available},
	Author = {Konikowska, B. and Białasik, M.},
	Date-Modified = {2005-02-16 14:30:51 +1100},
	Journal = {Acta Informatica},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/Misc/KonBia99.pdf},
	Pages = {375--403},
	Title = {{Reasoning with First Order Nondeterministic Specifications}},
	Volume = {36},
	Year = {1999}}

@inproceedings{KonIkeMiz:92,
	Author = {Kono, Y. and Ikeda, M. and Mizoguchi, R.},
	Booktitle = {Intelligent Tutoring Systems},
	Pages = {451--458},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Computer Science 608},
	Title = {{To Contradict Is Human - Student Modeling of Inconsistency}},
	Year = {1992}}

@inproceedings{KonMar:02,
	Annote = {pdf available},
	Author = {Konieczny, S. and Marquis, P.},
	Booktitle = {Logic in Artificial Intelligence: European Conference, JELIA 2002, Cosenza, Italy, September, 23--26, 2002. Proceedings},
	Editor = {Flesca, S. and Greco, S. and Leone, N. and Inni, G.},
	Local-Url = {file://localhost/Users/Shared/ResearchReferences/paraconsistent/KonMar02.pdf},
	Pages = {332--344},
	Publisher = {Springer Verlag},
	Series = {Lecture Notes in Artificial Intelligence 2424},
	Title = {{Three-Valued Logics for Inconsistency Handling}},
	Year = {2002}}

@incollection{KooSeu:97,
	Author = {Koons, R. C. and Seung, T. K.},
	Booktitle = {Defeasible Deontic Logic},
	Editor = {Nute, D.},
	Pages = {205--222},
	Publisher = {Kluwer Academic Pub.},
	Series = {Studies in Epistemology, Logic, Methodology, and Philosophy of Science vol 263},
	Title = {{Defeasible Reasoning and Moral Dilemmas}},
	Year = {1997}}

@book{KorSil:dsc,
	Author = {Korth, H. F. and Silberschatz, A.},
	Publisher = {McGraw-Hill},
	Title = {{Database System Concepts}},
	Year = {1991}}

@inproceedings{KotCos:77,
	Author = {Kotas, J. and da Costa, N. C. A.},
	Booktitle = {Non-Classical Logics, Model Theory, and Computability: Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-1