Search

Your search keyword '"Kamide, Norihiro"' showing total 345 results
Start Over Author "Kamide, Norihiro"
345 results on '"Kamide, Norihiro"'

14. Foundations of Inconsistency-Tolerant Model Checking: Logics, Translations, and Examples

Author

Kamide, Norihiro, Endo, Kazuki, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, van den Herik, Jaap, editor, and Rocha, Ana Paula, editor

Published
2019
Full Text
View/download PDF

18. An Extended First-Order Belnap-Dunn Logic with Classical Negation

Author

Kamide, Norihiro, Omori, Hitoshi, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Baltag, Alexandru, editor, Seligman, Jeremy, editor, and Yamada, Tomoyuki, editor

Published
2017
Full Text
View/download PDF

22. Embedding First-order Classical Logic into Gurevich’s Extended First-order Intuitionistic Logic: The Role of Strong Negation.

Author

Kamide, Norihiro

Subjects
FIRST-order logic, EMBEDDING theorems, NEGATION (Logic), ELK
Abstract

In this study, a theorem for embedding first-order classical logic into Gurevich’s extended first-order intuitionistic logic with strong negation is investigated in terms of the Gödel–Gentzen negative translation. First, an alternative cut-free Gentzen-style sequent calculus ELK for first-order classical logic is introduced to extend Gentzen’s sequent calculus LK for first-order classical logic. Second, a theorem for embedding ELK into a Gentzen-style sequent calculus ELJ for Gurevich’s extended first-order intuitionistic logic with strong negation is proved using an extended Gödel–Gentzen negative translation. Finally, a theorem for embedding ELK into Gentzen’s sequent calculus LJ for first-order intuitionistic logic is obtained using a slightly modified version of the extended Gödel–Gentzen negative translation. [ABSTRACT FROM AUTHOR]

Published
2023

24. A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning

Author

Kamide, Norihiro, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, van der Hoek, Wiebe, editor, Holliday, Wesley H., editor, and Wang, Wen-fang, editor

Published
2015
Full Text
View/download PDF

28. Reasoning about Time-Dependent Multi-agents: Foundations of Theorem Proving and Model Checking

Author

Kamide, Norihiro, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Nguyen, Ngoc Thanh, editor

Published
2012
Full Text
View/download PDF

29. On Temporal Gödel-Gentzen Translation

Author

Kamide, Norihiro, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, König, Andreas, editor, Dengel, Andreas, editor, Hinkelmann, Knut, editor, Kise, Koichi, editor, Howlett, Robert J., editor, and Jain, Lakhmi C., editor

Published
2011
Full Text
View/download PDF

30. Interpolation Theorems for Some Extended Description Logics

Author

Kamide, Norihiro, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, König, Andreas, editor, Dengel, Andreas, editor, Hinkelmann, Knut, editor, Kise, Koichi, editor, Howlett, Robert J., editor, and Jain, Lakhmi C., editor

Published
2011
Full Text
View/download PDF

31. A Decidable First-Order Logic for Medical Reasoning

Author

Kamide, Norihiro, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, König, Andreas, editor, Dengel, Andreas, editor, Hinkelmann, Knut, editor, Kise, Koichi, editor, Howlett, Robert J., editor, and Jain, Lakhmi C., editor

Published
2011
Full Text
View/download PDF

32. Paraconsistent Semantics for Description Logics: A Comparison

Author

Kamide, Norihiro, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, König, Andreas, editor, Dengel, Andreas, editor, Hinkelmann, Knut, editor, Kise, Koichi, editor, Howlett, Robert J., editor, and Jain, Lakhmi C., editor

Published
2011
Full Text
View/download PDF

33. Resource-Sensitive Reasoning with Sequential Information

Author

Kamide, Norihiro, Kaneiwa, Ken, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, and Li, Jiuyong, editor

Published
2011
Full Text
View/download PDF

35. A Logic for Conceptual Hierarchies

Author

Kamide, Norihiro, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, da Rocha Costa, Antônio Carlos, editor, Vicari, Rosa Maria, editor, and Tonidandel, Flavio, editor

Published
2010
Full Text
View/download PDF

36. A Sequent Calculus for 3-Dimensional Space

Author

Kamide, Norihiro, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, da Rocha Costa, Antônio Carlos, editor, Vicari, Rosa Maria, editor, and Tonidandel, Flavio, editor

Published
2010
Full Text
View/download PDF

37. A Proof System for Temporal Reasoning with Sequential Information

Author

Kamide, Norihiro, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, da Rocha Costa, Antônio Carlos, editor, Vicari, Rosa Maria, editor, and Tonidandel, Flavio, editor

Published
2010
Full Text
View/download PDF

38. Completeness for Generalized First-Order LTL

Author

Kamide, Norihiro, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Dillmann, Rüdiger, editor, Beyerer, Jürgen, editor, Hanebeck, Uwe D., editor, and Schultz, Tanja, editor

Published
2010
Full Text
View/download PDF

39. A Logic for Incomplete Sequential Information

Author

Kamide, Norihiro, Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Goebel, Randy, Siekmann, Jörg, Wahlster, Wolfgang, Setchi, Rossitza, editor, Jordanov, Ivan, editor, Howlett, Robert J., editor, and Jain, Lakhmi C., editor

Published
2010
Full Text
View/download PDF

40. A Proof System for Time-Dependent Multi-agents

Author

Kamide, Norihiro, Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Goebel, Randy, Siekmann, Jörg, Wahlster, Wolfgang, Setchi, Rossitza, editor, Jordanov, Ivan, editor, Howlett, Robert J., editor, and Jain, Lakhmi C., editor

Published
2010
Full Text
View/download PDF

41. Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures

Author

Kamide, Norihiro, Kaneiwa, Ken, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Nicholson, Ann, editor, and Li, Xiaodong, editor

Published
2009
Full Text
View/download PDF

42. Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic

Author

Kamide, Norihiro, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Fisher, Michael, editor, Sadri, Fariba, editor, and Thielscher, Michael, editor

Published
2009
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results