Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

Divisions: Logic, Language and Computation Group

Number of items at this level: 108.

Gabbay, D. M. and d'Avila Garcez, A. S. and Lamb, L. C. and Broda, K. (2007) Connectionist modal logic. Theoretical Computer Science, 371 (1--2). pp. 34-53.

Gabbay, D. M. and Engesser, K. and Lehmann, D. (2007) A New Approach to Quantum Logic. College Publications.

Gabbay, D. M. and Carnielli, W. and Coniglio, M. and Gouveia, P. and Sernadas, C. (2007) Analysis and Synthesis of Logics. Springer.

Gabbay, D. M. and Woods, J., eds. (2007) British Logic in the Nineteenth Century. Handbook of the History of Logic, 4 . Elsevier.

Fernandez, Raquel and Ginzburg, Jonathan and Lappin, Shalom (2007) Classifying Non-Sentential Utterances in Dialogue: A Machine Learning Approach. Computational Linguistics, 33 (3). pp. 397-427.

Gabbay, D. M. and Beziau, J.-Y. and Carnielli, W., eds. (2007) Handbook of Paraconsistency. College Publications. (In Press)

Gabbay, D. M. and Guenthner, F., eds. (2007) Handbook of Philosophical Logic. Springer.

Ginzburg, Jonathan and Macura, Zoran (2007) Lexical Acquisition with and without metacommunication. In: The Emergence of Communication and Language. Springer, Heidelberg, pp. 287-301. ISBN 1-84628-491-0

Ginzburg, Jonathan and Macura, Zoran (2007) Lexical Acquisition with and without metacommunication. In: The Emergence and Evolution of Communication and Language. Springer, Heidelberg, pp. 287-301.

Gabbay, D. M. (2007) Logic for Artificial Intelligence and Information Technology. College Publications.

Gabbay, D. M. and Woods, J., eds. (2007) Medieval and Renaissance Logic. Handbook of the History of Logic, 2 . Elsevier. (Submitted)

Gabbay, D. M. (2007) Reactive Kripke Semantics and Arc Accessibility. In: Volume in Honour of Boris Trahtenbrot. Springer. (In Press)

Ginzburg, Jonathan and Fernandez, Raquel and Gregory, Howard and Lappin, Shalom (2007) SHARDS: Fragment Resolution in Dialogue. In: Computing Meaning 3: Current Issues in Computational Semantics. Springer, Heidelberg.

Gabbay, D. M. and Woods, J., eds. (2007) The Many-valued and Nonmonotonic Turn in Logic. Handbook of the History of Logic, 8 . Elsevier.

Ginzburg, Jonathan and Fernandez, Raquel and Schlangen, David (2007) Unifying Self- and Other- Repair. In: Decalog 2007.

Gabbay, D. M. and Pigozzi, G. and Rodrigues, O. (2006) Belief revision, belief merging and voting. In: Proceedings of the Seventh Conference on Logic and the Foundations of Games and Decision Theory (LOFT06), 13-15 July 2006, Liverpool.

Gabbay, D. M. and Engesser, K. and Lehmann, D. (2006) Algebras of Measurements: The Logical Structure of Quantum Mechanics. International Journal of Theoretical Physics, 45 (4). pp. 698-723.

Gabbay, D. M. and Woods, J. (2006) Advice on Abductive Logic. Logic Journal of IGPL, 14 (2). pp. 189-219.

Gabbay, D. M. and Nossum, R. and Woods, J. (2006) Context Dependent Abduction and Relevance. Journal of Philosophical Logic, 35 (1). pp. 65-81.

Gabbay, D. M. and Finger, M. (2006) Cut and Pay. Journal of Logic, Language and Information/, 15 . pp. 195-218.

Gabbay, D. M. and Woods, J. (2006) Filtration Structures and the Cut Down Problem for Abduction. In: Mistakes of Reason. University of Toronto Press, pp. 398-417.

Elsenbroich, C. and Gabbay, D. M. and Rodrigues, O. (2006) Getting possibilities from the impossible. In: Proceedings of NMR-06, 30/05/2006 - 01/06/2006, Lake District, UK.

Gabbay, D. M. and Woods, J., eds. (2006) Greek, Indian and Arabic Logic. Handbook of the History of Logic, 1 . Elsevier.

Macura, Zoran and Ginzburg, Jonathan (2006) Lexicon Convergence in a Population With and Without Metacommunication. In: Proceedings of EELC 2006.

Macura, Zoran and Ginzburg, Jonathan (2006) Lexicon Convergence in a Population With and Without Metacommunication. In: Proceedings of EELC 2006.

Gabbay, D. M. and Woods, J., eds. (2006) Philosophy of Anthropology and Sociology. Handbook of the Philosophy of Science, 15 . Elsevier.

Gabbay, D. M. and Woods, J., eds. (2006) Philosophy of Biology. Handbook of the Philosophy of Science, 3 . Elsevier.

Gabbay, D. M. and Woods, J., eds. (2006) Philosophy of Logic. Handbook of the Philosophy of Science, 5 . Elsevier.

Gabbay, D. M. and Woods, J., eds. (2006) Philosophy of Physics. Handbook of the Philosophy of Science, 2 . Elsevier.

Gabbay, D. M. and Woods, J., eds. (2006) Philosophy of Psychology and Cognitive Science. Handbook of the Philosophy of Science, 12 . Elsevier.

Gabbay, D. M. and Woods, J., eds. (2006) Philosophy of Science: Focal Issues. Handbook of the Philosophy of Science, 1 . Elsevier.

Gabbay, D. M. and Vila, L. and Grabul, I. and Fisher, M., eds. (2005) Handbook of Temporal Reasoning in AI. Elsevier.

Gabbay, D. M. and Maksimova, L. (2005) Interpolation and Definability, Volume 1: Modal and Intuitionistic Logic. Oxford University Press.

Gabbay, D. M. and Olivetti, N. (2005) Interpolation in goal directed proof systems 1. In: Proceedings LC-2001.

Rodrigues, O. (2005) Iterated Revision and Automatic Similarity Generation. In: We Will Show Them! Essays in Honour of Dov Gabbay. College Publications, pp. 591-613. ISBN 1-904987-26-5

Gabbay, D. M. and Woods, J., eds. (2005) Logic and the Modalities in the Twentieth Century. Handbook of the History of Logic, 7 . Elsevier.

Gabbay, D. M. and Barringer, H. (2005) Modal varieties of temporal logic. In: Handbook of Temporal Reasoning and Artificial Intelligence. Elsevier, pp. 119-66.

Gabbay, D. M. and Metcalfe, G. and Olivetti, N. (2005) Proof Theory for Propositional Fuzzy Logic. Logic Journal of the IGPL, 13 . pp. 561-585.

Ginzburg, Jonathan and Fernández, Raquel (2005) Scaling up to multilogue: some benchmarks and principles. In: Proceedings of the 43rd Meeting of the Association for Computational Linguistics.

Gabbay, D. M. and Metcalfe, G. and Olivetti, N. (2005) Sequent and Hypersequent calculi. ACM Transactions on Computational Logic, 6 (3). pp. 578-613.

Ginzburg, Jonathan (2005) Situation Semantics: the ontological balance sheet. Research on Logic and Computation, 3 (4). pp. 363-389. ISSN 1570-7075

Gabbay, D. M. and Woods, J. and Barringer, H. (2005) Temporal Dynamics of Argumentation Networks. In: Volume Dedicated to Joerg Siekmann. LNCS 2605 . Springer, pp. 59-98.

Gabbay, D. M. and Woods, J. (2005) The Reach of Abduction. Elsevier.

Gabbay, D. M. and Woods, J., eds. (2005) The Rise of Modern Logic: Leibnitz to Frege. Handbook of the History of Logic, 3 . Elsevier.

Gabbay, D. M. and Lamb, L. C. and d'Avila Garcez, A. S. (2005) Value Based Argumentation Frameworks as Neural Symbolic Learning Systems. Journal of Logic and Computation, 15 (6). pp. 1041-1058.

Gabbay, D. M. and Metcalfe, G. and Olivetti, N. (2004) Analytic calculi for product logics. Archive for Mathematical Logic, 43 (7). pp. 859-889.

Gabbay, D. M. and d'Avila Garcez, A. S. and Lamb, L. C. and Broda, K. (2004) Applying connectionist modal logics to distributed knowledge representation problems. International Journal on Artificial Intelligence Tools, 13 . pp. 115-139.

Gabbay, D. M. and Rodrigues, O. and Woods, J. (2004) Belief Contraction, Anti-formulae and Resource Overdraft: Part II. In: Logic, Epistemology and the Unity of Science. Kluwer, pp. 291-326.

Ginzburg, Jonathan and Vallduvi, Enric, eds. (2004) Catalog'04: Proceedings of the Eighth Workshop on the Semantics and Pragmatics of Dialogue. Pompeu Fabra University. ISBN 84-609-2205-7.

Purver, Matthew and Ginzburg, Jonathan (2004) Clarifying Noun Phrase Semantics. Journal of Semantics, 21:3 . pp. 283-339.

Ginzburg, Jonathan and Fernandez, Raquel and Lappin, Shalom (2004) Classifying Ellipsis in Dialogue: A Machine Learning Approach. In: 20th International Conference on Computational Linguistics (CoLing).

Gabbay, D. M. and Broda, K. and Lamb, L. C. and Russo, A. (2004) Compiled Labelled Deductive Systems for Modal and Conditional Logics. Resarch Studies Press.

Gabbay, D. M. and Rodrigues, O. and Woods, J. (2004) Deletion in Resource Unbounded Logics --- Belief Contraction, Anti-Formulae and Resource Overdraft: Part II. In: Logic, Epistemology and the Unity of Science. Kluwer Academic Publishers, pp. 291-326. ISBN 1402028075

Gabbay, D. M. and Metcalfe, G. and Olivetti, N. (2004) Goal-Directed Methods for Lukasiewicz Logic. In: Proceedings of CSL 2004.

Gabbay, D. M. and Metcalfe, G. and Olivetti, N. (2004) Hypersequents and Fuzzy Logic. Revisita de la Real Academia de Ciencias, 98 (1). pp. 113-126.

Ginzburg, Jonathan (2004) Intrinsic Misalignment in Dialogue: why there is no unique context in a conversation. Behavioural and Brain Sciences . pp. 197-199. ISSN 0140-525X

Gabbay, D. M. and Nossum, R. (2004) Logics of Context. In: Handbook of Philosophical Logic. Springer.

Gabbay, D. M. and Williamson, J. (2004) Recursive causality in Bayesian networks and self fibring. In: Laws and models of Science. King's College Publications, pp. 173-247.

Gabbay, D. M. and d'AvilaGarcez, A. S. and Lamb, L. C. (2004) Towards Connectionist Argumentation Frameworks. In: Proceedings of 16th European Conference on Artificial Intelligence, ECAI 2004.

Gabbay, D. M. and d'Avila Garcez, A. S. and Lamb, L. C. and Broda, K. (2003) Distributed knowledge representation in neural-symbolic learning systems. In: Proceedings of 16th AAAI International FLAIRS Conference.

Rodrigues, O. (2003) Structured Clusters: A Framework to Reason with Contradictory Interests. Journal of Logic and Computation, 13 (1). pp. 69-97. ISSN 0955-792X

Gabbay, D. M. and Woods, J. (2003) Agenda Relevance. Elsevier.

Purver, Matthew and Healey, Patrick G. T. and King, James and Ginzburg, Jonathan and Mills, Greg J. (2003) Answering Clarification Questions. In: Proceedings of the 4th SIGdial Workshop on Discourse and Dialogue.

Gabbay, D. M. and Pigozzi, G. and Woods, J. (2003) Controlled revision - A preliminary account. Journal of Logic and Computation, 13 . pp. 13-23.

Ginzburg, Jonathan (2003) Disentangling Public from Private Meaning. In: Current and New Directions in Discourse and Dialogue. Kluwer, pp. 183-212.

Healey, P.G.T. and Purver, M. and King, J. and Ginzburg, J. and Mills, G. (2003) Experimenting with Clarification in Dialogue. In: Proceedings of the 25th Annual Conference of the Cognitive Science Society.

Gabbay, D. M. and Metcalfe, G. and Olivetti, N. (2003) Fuzzy Logic without Weakening. Neural Network World .

Gabbay, D. M. and Olivetti, N. (2003) Goal Directed Calculi for Goedel-Dummett Logics. In: Proceedings of CSL 2003.

Gabbay, D. M. and Endriss, U. (2003) Halfway between points and intervals. A temporal logic based onordered trees. In: ESSLLI Worshop on Interval Temporal Logics and Duration Calculi.

Ginzburg, Jonathan and Sag, Ivan and Purver, Matthew (2003) Integrating conversational move types in the grammar of conversation. In: Perspectives on Dialogue in the New Millennium. Pragmatics and Beyond new series (114). John Benjamins Publishers, pp. 25-42.

Gabbay, D. M. and Kurucz, A. and Wolter, F. and Zakhryaschev, M. (2003) Many Dimensional Modal Logics. Studies in Logic . Elsevier.

Gabbay, D. M. and d'Avila Garcez, A. S. and Lamb, L. C. (2003) Neural-symbolic intuitionistic reasoning. In: Proceedings of the 3rd International Conference on Hybrid Intelligent Systems (HIS'03).

Purver, Matthew and Ginzburg, Jonathan and Healey, Patrick (2003) On the Means for Clarification in Dialogue. In: Current and New Directions in Discourse and Dialogue. Kluwer, pp. 235-256.

Rodrigues, O. and d'AvilaGarcez, A. and Russo, A. (2003) Reasoning about Requirements Evolution Using Clustered Belief Revision. In: Proceedings of ACM ESEC/FSE International Workshop on Intelligent Technologies for Software Engineering WITSE03, Helsinki.

Gabbay, D. M. and d'Avila Garcez, A. S. and Lamb, L. C. (2002) A connectionist inductive learning system for modal logic programming. In: Proceedings of 9th IEEE International Conference on Neural Information Processing ICONI'02.

Gabbay, D. M. and Rodrigues, O. and Woods, J. (2002) Belief Contraction, Anti-Formulae and Resource Overdraft: Part I --- Deletion in Resource Bounded Logics. Logic Journal of the IGPL, 10 (6). pp. 601-652. ISSN 1367-0751

Gabbay, D. M. and Engesser, K. (2002) Quantum Logic, Hilbert Space and Revision Theory. AI Journal, 136 (1). pp. 61-100.

Gabbay, D. M. (2002) A Theory of Hypermodal Logics: (Mode Shifting in Modal Logic). Journal of Philosophical Logic, 31 . pp. 211-243.

Gabbay, D. M. and Metcalfe, G. and Olivetti, N. (2002) Analytic Sequent Calculi for Abelian and Lukasiewicz Logics. In: Proceedings of Tableaux 2002.

Gabbay, D. M. and Rodrigues, O. and Woods, J. (2002) Belief Contraction, Anti-formulae, and Resource Overdraft: Part I. Logic Journal of the IGPL, 10 . pp. 601-652.

Cooper, Robin and Ginzburg, Jonathan (2002) Clarification Ellipsis in Dependent Type Theory. In: Proceedings of Edilog, the 6th Workshop on the Semantics and Pragmatics of Dialogue. Human Communications Research Centre, University of Edinburgh, Edinburgh.

Gabbay, D. M. and Olivetti, N. (2002) Goal oriented deductions. In: Handbook of Philosophical Logic. Kluwer, pp. 199-285.

Gabbay, D. M. and Broda, K. and Lamb, L. C. and Russo, A. (2002) Labelled Natural Deduction for Conditional Logics of Normality. Logic Journal of the IGPL, 10 (2). pp. 123-163.

Gabbay, D. M. and Woods, J. (2002) Logic: The Practical Turn. In: Handbook of Logic of Argument an dInference: The Turn Toward the Practical. Elsevier, pp. 1-40.

Gabbay, D. M. and Malod, G. (2002) Naming Worlds in Modal and Temporal Logic. Journal of Logic Language and Information, 11 (1). pp. 29-65.

Gabbay, D. M. and d'Avila Garcez, A. S. and Broda, K. (2002) Neural-Symbolic Learning Systems: Foundations and Applications. Springer Verlag.

Ginzburg, Jonathan and Fernandez, Raquel (2002) Non-Sentential Utterances: Grammar and Dialogue Dynamics in Corpus Annotation. In: Proceedings of the 19th International Conference on Computational Linguistics. Morgan Kaufman, San Francisco, pp. 253-259. ISBN 1-55860-899-0

Fern'andez, Raquel and Ginzburg, Jonathan (2002) Non-Sentential Utterances: a corpus-based study. Traitement Automatique des Languages, 43 (2). pp. 13-42.

Gabbay, D. M. and Shehtman, V. (2002) Products of Modal Logics Part 3: Products of Modal and Temporal Logics. Studia Logica, 72 (2). pp. 157-183.

Gabbay, D. M. (2002) Sampling Labelled Deductive Systems. In: Blackwell's Companion To Philosophical Logic. Blackwell, pp. 742-769.

Ginzburg, Jonathan (2001) Fragmenting Meaning: Clarification Ellipsis and Nominal Anaphora. In: Computing Meaning 2: Current Issues in Computational Semantics. Kluwer, pp. 247-270. ISBN 1-4020-0175-4

Gabbay, D. M. and Woods, J. (2001) Non-cooperation in dialogue logic. Synthese, 127 (1/2). pp. 161-186.

Gabbay, D. M. and d'Avila Garcez, A. S. and Broda, K. (2001) Symbolic knowledge extraction from trained neural networks: a new approach. Artificial Intelligence, 125 (1). pp. 153-205.

Gabbay, D. M. and Kempson, R. and Meyer-Viol, W. (2001) Dynamic Syntax: The Flow of Language Understanding. Blackwell.

Gabbay, D. M. (2001) Dynamics of Practical Reasoning: A position paper. In: Advances in Modal Logic. CUP, pp. 179-224.

Gabbay, D. M. and Bicarregui, J. and Dimitrakos, T. and Maibaum, T. S. E. (2001) Interpolation in Practical Formal Development. Logic Journal of the IGPL, 9 . pp. 231-244.

Gabbay, D. M. and Woods, J. (2001) More on non-cooperation in dialogue logic. Logic Journal of the IGPL, 9 (2). pp. 321-339.

Ginzburg, Jonathan and Cooper, Robin (2001) Resolving Ellipsis in Clarification. In: Proceedings of the 39th Meeting of the Association for Computational Linguistics.

Gabbay, D. M. and Woods, J. (2001) The New Logic. Logic Journal of the IGPL, 9 . pp. 141-174.

Gabbay, D. M. and Rodrigues, O. and Russo, A. (2000) Revision by Translation. In: Information, Uncertainty, Fusion. Kluwer Academic Publishers, pp. 3-31.

Rodrigues, O. (1997) A methodology for iterated information change. PhD thesis, Imperial College London.

Gabbay, D. M. and Rodrigues, O. (1997) Structured Belief Bases: a practical approach to prioritised base revision. In: Proceedings of First Internation Joint Conference on Qualitative and Quantitative Practical Reasoning.

Gabbay, D. M. and Rodrigues, O. (1996) Structured Databases: a framework to reason about Belief Change. In: Proceedings of the Theory and Formal Methods 1996 Workshop.

Gabbay, D. M. and Rodrigues, O. (1996) A methodology for iterated Theory Change. In: Practical Reasoning - First International Conference on Formal and Applied Practical Reasoning, FAPR'96.

Rodrigues, O. and Ryan, M. and Schobbens, P.-Y. (1996) Counterfactuals and updates as inverse modalities. In: 6th Conference on Theoretical Aspects of Rationality and Knowledge (TARK).

Rodrigues, O. and Benevides, M. R. F. (1995) PROMAL: Programming in Modal Action Logic. In: Proceeding of the 12th Brazilian Symposium on Artificial Intelligence (SBIA '95).

Rodrigues, O. and Benevides, M. R. F. (1994) Belief Revision in Pseudo-Definite Sets. In: Proceedings of the 11th Brazilian Symposium on Artificial Intelligence (SBIA '94).

Gabbay, Dov and Rodrigues, Odinaldo and Russo, Alessandra Revision, Acceptability and Context. Springer. (In Press)

This list was generated on Thu Aug 28 04:04:13 2014 BST.