×
Compute Distance To:
Author ID: sakama.chiaki Recent zbMATH articles by "Sakama, Chiaki"
Published as: Sakama, Chiaki; Sakama, C.

Publications by Year

Citations contained in zbMATH Open

35 Publications have been cited 165 times in 126 Documents Cited by Year
Negation as failure in the head. Zbl 0905.68030
Inoue, Katsumi; Sakama, Chiaki
18
1998
An abductive framework for computing knowledge base updates. Zbl 1085.68545
Sakama, Chiaki; Inoue, Katsumi
16
2003
An alternative approach to the semantics of disjunctive logic programs and deductive databases. Zbl 0819.68036
Sakama, Chiaki; Inoue, Katsumi
14
1994
Equivalence of logic programs under updates. Zbl 1111.68381
Inoue, Katsumi; Sakama, Chiaki
13
2004
Induction from answer sets in nonmonotonic logic programs. Zbl 1367.68039
Sakama, Chiaki
12
2005
Paraconsistent stable semantics for extended disjunctive programs. Zbl 0827.68070
Sakama, Chiaki; Inoue, Katsumi
11
1995
Learning from interpretation transition. Zbl 1319.68054
Inoue, Katsumi; Ribeiro, Tony; Sakama, Chiaki
10
2014
Prioritized logic programming and its application to commonsense reasoning. Zbl 0952.68020
Sakama, C.; Inoue, K.
10
2000
Nonmonotonic inductive logic programming. Zbl 1010.68031
Sakama, Chiaki
8
2001
Updating extended logic programs through abduction. Zbl 0952.68052
Sakama, Chiaki; Inoue, Katsumi
5
1999
A fixpoint characterization of abductive logic programs. Zbl 0874.68051
Inoue, Katsumi; Sakama, Chiaki
5
1996
Logic programming for multiagent planning with negotiation. Zbl 1251.68263
Son, Tran Cao; Pontelli, Enrico; Sakama, Chiaki
5
2009
Inverse entailment in nonmonotonic logic programs. Zbl 0994.68112
Sakama, Chiaki
4
2000
Inductive equivalence of logic programs. Zbl 1134.68480
Sakama, Chiaki; Inoue, Katsumi
4
2005
Partial deduction in disjunctive logic programming. Zbl 0883.68026
Sakama, Chiaki; Seki, Hirohisa
3
1997
Persistence and monotony properties of argumentation semantics. Zbl 1335.68282
Rienstra, Tjitze; Sakama, Chiaki; van der Torre, Leendert
3
2015
Extended well-founded semantics for paraconsistent logic programs. Zbl 0862.68073
Sakama, Chiaki
2
1992
A logical account of lying. Zbl 1306.68196
Sakama, Chiaki; Caminada, Martin; Herzig, Andreas
2
2010
Brave induction. Zbl 1156.68549
Sakama, Chiaki; Inoue, Katsumi
2
2008
Oscillating behavior of logic programs. Zbl 1357.68036
Inoue, Katsumi; Sakama, Chiaki
2
2012
A formal account of dishonesty. Zbl 1405.03042
Sakama, Chiaki; Caminada, Martin; Herzig, Andreas
2
2015
Formalizing negotiations using logic programming. Zbl 1291.68386
Son, Tran Cao; Pontelli, Enrico; Nguyen, Ngoc-Hieu; Sakama, Chiaki
1
2014
Abductive logic programming and disjunctive logic programming: Their relationship and transferability. Zbl 0957.68015
Sakama, Chiaki; Inoue, Katsumi
1
2000
Partial evaluation of queries in deductive databases. Zbl 0654.68109
Sakama, Chiaki; Itoh, Hidenori
1
1988
Reasoning and planning with cooperative actions for multiagents using answer set programming. Zbl 1274.68589
Son, Tran Cao; Sakama, Chiaki
1
2010
Ordering default theories and nonmonotonic logic programs. Zbl 1076.68075
Sakama, Chiaki
1
2005
Abductive generalization and specialization. Zbl 1032.68761
Sakama, Chiaki
1
2000
Equivalence issues in abduction and induction. Zbl 1176.68165
Sakama, Chiaki; Inoue, Katsumi
1
2009
Abductive equivalence in first-order logic. Zbl 1108.03012
Inoue, Katsumi; Sakama, Chiaki
1
2006
Inductive negotiation in answer set programming. Zbl 1207.68406
Sakama, Chiaki
1
2009
Abduction in argumentation frameworks. Zbl 1436.68328
Sakama, Chiaki
1
2018
Representing argumentation frameworks in answer set programming. Zbl 1377.68227
Sakama, Chiaki; Rienstra, Tjitze
1
2017
Coordination in answer set programming. Zbl 1367.68040
Sakama, Chiaki; Inoue, Katsumi
1
2008
Abduction, unpredictability and Garden of Eden. Zbl 1320.68172
Sakama, Chiaki; Inoue, Katsumi
1
2013
An efficient reasoning method on logic programming using partial evaluation in vector spaces. Zbl 07398785
Nguyen, Hien D.; Sakama, Chiaki; Sato, Taisuke; Inoue, Katsumi
1
2021
An efficient reasoning method on logic programming using partial evaluation in vector spaces. Zbl 07398785
Nguyen, Hien D.; Sakama, Chiaki; Sato, Taisuke; Inoue, Katsumi
1
2021
Abduction in argumentation frameworks. Zbl 1436.68328
Sakama, Chiaki
1
2018
Representing argumentation frameworks in answer set programming. Zbl 1377.68227
Sakama, Chiaki; Rienstra, Tjitze
1
2017
Persistence and monotony properties of argumentation semantics. Zbl 1335.68282
Rienstra, Tjitze; Sakama, Chiaki; van der Torre, Leendert
3
2015
A formal account of dishonesty. Zbl 1405.03042
Sakama, Chiaki; Caminada, Martin; Herzig, Andreas
2
2015
Learning from interpretation transition. Zbl 1319.68054
Inoue, Katsumi; Ribeiro, Tony; Sakama, Chiaki
10
2014
Formalizing negotiations using logic programming. Zbl 1291.68386
Son, Tran Cao; Pontelli, Enrico; Nguyen, Ngoc-Hieu; Sakama, Chiaki
1
2014
Abduction, unpredictability and Garden of Eden. Zbl 1320.68172
Sakama, Chiaki; Inoue, Katsumi
1
2013
Oscillating behavior of logic programs. Zbl 1357.68036
Inoue, Katsumi; Sakama, Chiaki
2
2012
A logical account of lying. Zbl 1306.68196
Sakama, Chiaki; Caminada, Martin; Herzig, Andreas
2
2010
Reasoning and planning with cooperative actions for multiagents using answer set programming. Zbl 1274.68589
Son, Tran Cao; Sakama, Chiaki
1
2010
Logic programming for multiagent planning with negotiation. Zbl 1251.68263
Son, Tran Cao; Pontelli, Enrico; Sakama, Chiaki
5
2009
Equivalence issues in abduction and induction. Zbl 1176.68165
Sakama, Chiaki; Inoue, Katsumi
1
2009
Inductive negotiation in answer set programming. Zbl 1207.68406
Sakama, Chiaki
1
2009
Brave induction. Zbl 1156.68549
Sakama, Chiaki; Inoue, Katsumi
2
2008
Coordination in answer set programming. Zbl 1367.68040
Sakama, Chiaki; Inoue, Katsumi
1
2008
Abductive equivalence in first-order logic. Zbl 1108.03012
Inoue, Katsumi; Sakama, Chiaki
1
2006
Induction from answer sets in nonmonotonic logic programs. Zbl 1367.68039
Sakama, Chiaki
12
2005
Inductive equivalence of logic programs. Zbl 1134.68480
Sakama, Chiaki; Inoue, Katsumi
4
2005
Ordering default theories and nonmonotonic logic programs. Zbl 1076.68075
Sakama, Chiaki
1
2005
Equivalence of logic programs under updates. Zbl 1111.68381
Inoue, Katsumi; Sakama, Chiaki
13
2004
An abductive framework for computing knowledge base updates. Zbl 1085.68545
Sakama, Chiaki; Inoue, Katsumi
16
2003
Nonmonotonic inductive logic programming. Zbl 1010.68031
Sakama, Chiaki
8
2001
Prioritized logic programming and its application to commonsense reasoning. Zbl 0952.68020
Sakama, C.; Inoue, K.
10
2000
Inverse entailment in nonmonotonic logic programs. Zbl 0994.68112
Sakama, Chiaki
4
2000
Abductive logic programming and disjunctive logic programming: Their relationship and transferability. Zbl 0957.68015
Sakama, Chiaki; Inoue, Katsumi
1
2000
Abductive generalization and specialization. Zbl 1032.68761
Sakama, Chiaki
1
2000
Updating extended logic programs through abduction. Zbl 0952.68052
Sakama, Chiaki; Inoue, Katsumi
5
1999
Negation as failure in the head. Zbl 0905.68030
Inoue, Katsumi; Sakama, Chiaki
18
1998
Partial deduction in disjunctive logic programming. Zbl 0883.68026
Sakama, Chiaki; Seki, Hirohisa
3
1997
A fixpoint characterization of abductive logic programs. Zbl 0874.68051
Inoue, Katsumi; Sakama, Chiaki
5
1996
Paraconsistent stable semantics for extended disjunctive programs. Zbl 0827.68070
Sakama, Chiaki; Inoue, Katsumi
11
1995
An alternative approach to the semantics of disjunctive logic programs and deductive databases. Zbl 0819.68036
Sakama, Chiaki; Inoue, Katsumi
14
1994
Extended well-founded semantics for paraconsistent logic programs. Zbl 0862.68073
Sakama, Chiaki
2
1992
Partial evaluation of queries in deductive databases. Zbl 0654.68109
Sakama, Chiaki; Itoh, Hidenori
1
1988
all top 5

Cited by 227 Authors

14 Inoue, Katsumi
12 Sakama, Chiaki
10 Woltran, Stefan
7 Leite, João
6 Eiter, Thomas
5 Fink, Michael
5 Truszczyński, Mirosław
4 Amendola, Giovanni
4 Leone, Nicola
4 Ribeiro, Tony
4 Ricca, Francesco
4 Russo, Alessandra M.
4 Slota, Martin
4 Tompits, Hans
3 Gebser, Martin
3 Gonçalves, Ricardo
3 Knorr, Matthias
3 Schaub, Torsten H.
3 Shakerin, Farhad
3 Son, Tran Cao
3 Szałas, Andrzej
2 Alferes, José Júlio
2 Baral, Chitta R.
2 Baumgartner, Peter
2 Brewka, Gerhard
2 Broda, Krysia B.
2 Brogi, Antonio
2 Bruynooghe, Maurice
2 Caroprese, Luciano
2 Denecker, Marc
2 Dodaro, Carmine
2 Erdem, Esra
2 Faber, Wolfgang
2 Gupta, Gopal K.
2 Kohli, Pushmeet
2 Law, Mark M.
2 Maratea, Marco
2 Pontelli, Enrico
2 Prade, Henri M.
2 Ray, Oliver
2 Schockaert, Steven
2 Sergot, Marek J.
2 Shen, Jun
2 Thimm, Matthias
2 Toni, Francesca
2 Vermeir, Dirk
2 Zhang, Shutao
2 Zhang, Zhizheng
2 Zumpano, Ester
1 Alcântara, João
1 Alenyà, Guillem
1 Alfano, Gianvincenzo
1 Alrajeh, Dalal
1 Angiulli, Fabrizio
1 Aravindan, Chandrabose
1 Arieli, Ofer
1 Artikis, Alexander
1 Aryal, Sunil
1 Bain, Michael E.
1 Banti, Federico
1 Baumeister, Dorothea
1 Bauters, Kim
1 Ben-Eliyahu-Zohary, Rachel
1 Benferhat, Salem
1 Berthold, Matti
1 Białek, Łukasz
1 Bistarelli, Stefano
1 Bliem, Bernhard
1 Bochman, Alexander
1 Bordini, Rafael H.
1 Bošnjak, Matko
1 Brass, Stefan
1 Büsing, Lars
1 Cabalar, Pedro
1 Cabrer, Leonardo Manuel
1 Çakmak, Duygu
1 Cao, Yongzhi
1 Chai, Xinwei
1 Chapman, Martin
1 Chen, Wu
1 Chomicki, Jan
1 Corapi, Domenico
1 Craig, Andrew P. K.
1 Creignou, Nadia
1 Cropper, Andrew
1 Cruz, Francisco J.
1 Čyras, Kristijonas
1 Dazeley, Richard
1 de Amo, Sandra
1 De Cock, Martine
1 Delgrande, James P.
1 Di Rosa, Emanuele
1 Dix, Jurgen
1 Doherty, Patrick
1 Doncescu, Andrei
1 Dubois, Didier
1 Dumančić, Sebastijan
1 Dunin-Kȩplicz, Barbara
1 Ellis, Kevin
1 Erdoğan, Halit
...and 127 more Authors

Citations by Year