Logical deduction using the local computation framework

Nic Wilson; Jérôme Mengin

doi:10.1007/3-540-48747-6_36

Logical deduction using the local computation framework

Nic Wilson
, Jérôme Mengin

Research output: Chapter in Book/Report/Conference proceedings › Conference proceeding › peer-review

Original language	English
Title of host publication	Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference, ECSQARU 1999, Proceedings
Editors	Anthony Hunter, Simon Parsons
Publisher	Springer Verlag
Pages	386-396
Number of pages	11
ISBN (Print)	354066131X, 9783540661313
DOIs	https://doi.org/10.1007/3-540-48747-6_36
Publication status	Published - 1999
Externally published	Yes
Event	5th European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1999 - London, United Kingdom Duration: 5 Jul 1999 → 9 Jul 1999

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1638
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	5th European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1999
Country/Territory	United Kingdom
City	London
Period	5/07/99 → 9/07/99

Keywords

Circumscription
Deduction
First-order logic
Theorem proving

Access to Document

10.1007/3-540-48747-6_36

Cite this

Wilson, N., & Mengin, J. (1999). Logical deduction using the local computation framework. In A. Hunter, & S. Parsons (Eds.), Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference, ECSQARU 1999, Proceedings (pp. 386-396). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1638). Springer Verlag. https://doi.org/10.1007/3-540-48747-6_36

Wilson, Nic ; Mengin, Jérôme. / Logical deduction using the local computation framework. Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference, ECSQARU 1999, Proceedings. editor / Anthony Hunter ; Simon Parsons. Springer Verlag, 1999. pp. 386-396 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b3518291e196408ea6e0096abcad29aa,

title = "Logical deduction using the local computation framework",

keywords = "Circumscription, Deduction, First-order logic, Theorem proving",

author = "Nic Wilson and J{\'e}r{\^o}me Mengin",

year = "1999",

doi = "10.1007/3-540-48747-6\_36",

language = "English",

isbn = "354066131X",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "386--396",

editor = "Anthony Hunter and Simon Parsons",

booktitle = "Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference, ECSQARU 1999, Proceedings",

address = "Germany",

note = "5th European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1999 ; Conference date: 05-07-1999 Through 09-07-1999",

}

Wilson, N & Mengin, J 1999, Logical deduction using the local computation framework. in A Hunter & S Parsons (eds), Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference, ECSQARU 1999, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1638, Springer Verlag, pp. 386-396, 5th European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1999, London, United Kingdom, 5/07/99. https://doi.org/10.1007/3-540-48747-6_36

Logical deduction using the local computation framework. / Wilson, Nic; Mengin, Jérôme.
Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference, ECSQARU 1999, Proceedings. ed. / Anthony Hunter; Simon Parsons. Springer Verlag, 1999. p. 386-396 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1638).

Research output: Chapter in Book/Report/Conference proceedings › Conference proceeding › peer-review

TY - GEN

T1 - Logical deduction using the local computation framework

AU - Wilson, Nic

AU - Mengin, Jérôme

PY - 1999

Y1 - 1999

KW - Circumscription

KW - Deduction

KW - First-order logic

KW - Theorem proving

UR - https://www.scopus.com/pages/publications/84947923930

U2 - 10.1007/3-540-48747-6_36

DO - 10.1007/3-540-48747-6_36

M3 - Conference proceeding

AN - SCOPUS:84947923930

SN - 354066131X

SN - 9783540661313

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 386

EP - 396

BT - Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference, ECSQARU 1999, Proceedings

A2 - Hunter, Anthony

A2 - Parsons, Simon

PB - Springer Verlag

T2 - 5th European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU 1999

Y2 - 5 July 1999 through 9 July 1999

ER -

Wilson N, Mengin J. Logical deduction using the local computation framework. In Hunter A, Parsons S, editors, Symbolic and Quantitative Approaches to Reasoning and Uncertainty - European Conference, ECSQARU 1999, Proceedings. Springer Verlag. 1999. p. 386-396. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-48747-6_36

Logical deduction using the local computation framework

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this