Update by means of inference rules

Teodor C. Przymusinski; Hudson Turner

doi:10.1007/3-540-59487-6_12

Update by means of inference rules

Teodor C. Przymusinski, Hudson Turner

Computer Science (Duluth)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

22 Scopus citations

Original language	English (US)
Title of host publication	Logic Programming and Nonmonotonic Reasoning - 3rd International Conference, LPNMR 1995, Proceedings
Editors	V. Wiktor Marek, Miroslaw Truszczynski, Anil Nerode
Publisher	Springer Verlag
Pages	156-174
Number of pages	19
ISBN (Print)	9783540594871
DOIs	https://doi.org/10.1007/3-540-59487-6_12
State	Published - 1995
Event	3rd International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1995 - Lexington, United States Duration: Jun 26 1995 → Jun 28 1995

Publication series

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

Other

Other	3rd International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1995
Country/Territory	United States
City	Lexington
Period	6/26/95 → 6/28/95

Bibliographical note

Funding Information:
Thanks to Vladimir Lifschitz, Norman McCain, and Halina Przymusinska for many helpful discussions and suggestions. We are also grateful for comments from Chitta Baral, Enrico Giunchiglia, and G. N. Kartha. The first author is partially supported by NSF Grant IRI-9313061; the second by NSF Grant IRI-9306751.

Publisher link

10.1007/3-540-59487-6_12

Find It

Find It at U of M Libraries

Cite this

Przymusinski, T. C., & Turner, H. (1995). Update by means of inference rules. In V. W. Marek, M. Truszczynski, & A. Nerode (Eds.), Logic Programming and Nonmonotonic Reasoning - 3rd International Conference, LPNMR 1995, Proceedings (pp. 156-174). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 928). Springer Verlag. https://doi.org/10.1007/3-540-59487-6_12

Update by means of inference rules. / Przymusinski, Teodor C.; Turner, Hudson.
Logic Programming and Nonmonotonic Reasoning - 3rd International Conference, LPNMR 1995, Proceedings. ed. / V. Wiktor Marek; Miroslaw Truszczynski; Anil Nerode. Springer Verlag, 1995. p. 156-174 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 928).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Przymusinski, TC & Turner, H 1995, Update by means of inference rules. in VW Marek, M Truszczynski & A Nerode (eds), Logic Programming and Nonmonotonic Reasoning - 3rd International Conference, LPNMR 1995, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 928, Springer Verlag, pp. 156-174, 3rd International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1995, Lexington, United States, 6/26/95. https://doi.org/10.1007/3-540-59487-6_12

Przymusinski TC, Turner H. Update by means of inference rules. In Marek VW, Truszczynski M, Nerode A, editors, Logic Programming and Nonmonotonic Reasoning - 3rd International Conference, LPNMR 1995, Proceedings. Springer Verlag. 1995. p. 156-174. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-59487-6_12

Przymusinski, Teodor C. ; Turner, Hudson. / Update by means of inference rules. Logic Programming and Nonmonotonic Reasoning - 3rd International Conference, LPNMR 1995, Proceedings. editor / V. Wiktor Marek ; Miroslaw Truszczynski ; Anil Nerode. Springer Verlag, 1995. pp. 156-174 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{c8daaad8f4b542b3bbfc02c9a85bb37c,

title = "Update by means of inference rules",

author = "Przymusinski, {Teodor C.} and Hudson Turner",

note = "Funding Information: Thanks to Vladimir Lifschitz, Norman McCain, and Halina Przymusinska for many helpful discussions and suggestions. We are also grateful for comments from Chitta Baral, Enrico Giunchiglia, and G. N. Kartha. The first author is partially supported by NSF Grant IRI-9313061; the second by NSF Grant IRI-9306751.; 3rd International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1995 ; Conference date: 26-06-1995 Through 28-06-1995",

year = "1995",

doi = "10.1007/3-540-59487-6_12",

language = "English (US)",

isbn = "9783540594871",

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

publisher = "Springer Verlag",

pages = "156--174",

editor = "Marek, {V. Wiktor} and Miroslaw Truszczynski and Anil Nerode",

booktitle = "Logic Programming and Nonmonotonic Reasoning - 3rd International Conference, LPNMR 1995, Proceedings",

}

TY - GEN

T1 - Update by means of inference rules

AU - Przymusinski, Teodor C.

AU - Turner, Hudson

N1 - Funding Information: Thanks to Vladimir Lifschitz, Norman McCain, and Halina Przymusinska for many helpful discussions and suggestions. We are also grateful for comments from Chitta Baral, Enrico Giunchiglia, and G. N. Kartha. The first author is partially supported by NSF Grant IRI-9313061; the second by NSF Grant IRI-9306751.

PY - 1995

Y1 - 1995

UR - http://www.scopus.com/inward/record.url?scp=84947936833&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84947936833&partnerID=8YFLogxK

U2 - 10.1007/3-540-59487-6_12

DO - 10.1007/3-540-59487-6_12

M3 - Conference contribution

AN - SCOPUS:84947936833

SN - 9783540594871

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

SP - 156

EP - 174

BT - Logic Programming and Nonmonotonic Reasoning - 3rd International Conference, LPNMR 1995, Proceedings

A2 - Marek, V. Wiktor

A2 - Truszczynski, Miroslaw

A2 - Nerode, Anil

PB - Springer Verlag

T2 - 3rd International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1995

Y2 - 26 June 1995 through 28 June 1995

ER -

Update by means of inference rules

Publication series

Other

Bibliographical note

Publisher link

Find It

Other files and links

Cite this