default search action
Chiaki Sakama
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j33]Chiaki Sakama:
Human Conditional Reasoning in Answer Set Programming. Theory Pract. Log. Program. 24(1): 157-192 (2024) - [c92]Chiaki Sakama:
Argument and Belief. COMMA 2024: 241-252 - 2023
- [c91]Thomas Ågotnes, Chiaki Sakama:
A Formal Analysis of Hollis' Paradox. LORI 2023: 306-321 - [c90]Chiaki Sakama:
Human Conditional Reasoning in Answer Set Programming. NMR 2023: 104-114 - [c89]Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama:
Linear Algebraic Abduction with Partial Evaluation. PADL 2023: 197-215 - [i5]Chiaki Sakama:
Human Conditional Reasoning in Answer Set Programming. CoRR abs/2311.04412 (2023) - 2022
- [j32]Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama:
Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation. New Gener. Comput. 40(1): 225-254 (2022) - [c88]Chiaki Sakama, Tran Cao Son:
Interlinking Logic Programs and Argumentation Frameworks. LPNMR 2022: 322-335 - 2021
- [j31]Chiaki Sakama, Katsumi Inoue, Taisuke Sato:
Logic programming in tensor spaces. Ann. Math. Artif. Intell. 89(12): 1133-1153 (2021) - [j30]Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue:
An efficient reasoning method on logic programming using partial evaluation in vector spaces. J. Log. Comput. 31(5): 1298-1316 (2021) - [c87]Kodai Imanaka, Chiaki Sakama:
Predicting Air Ticket Demand using Deep Neural Networks. IEEE BigData 2021: 2901-2908 - [c86]Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama:
Linear Algebraic Computation of Propositional Horn Abduction. ICTAI 2021: 240-247 - [c85]Hien D. Nguyen, Chiaki Sakama:
Feature Learning by Least Generalization. ILP 2021: 193-202 - 2020
- [j29]Tjitze Rienstra, Chiaki Sakama, Leendert van der Torre, Beishui Liao:
A principle-based robustness analysis of admissibility-based argumentation semantics. Argument Comput. 11(3): 305-339 (2020) - [j28]Chiaki Sakama, Tran Cao Son:
Epistemic Argumentation Framework: Theory and Computation. J. Artif. Intell. Res. 69: 1103-1126 (2020) - [c84]Taisuke Sato, Chiaki Sakama, Katsumi Inoue:
From 3-valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces. ICAART (2) 2020: 758-765 - [c83]Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama:
Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation. ICLP Technical Communications 2020: 192-205
2010 – 2019
- 2019
- [j27]Chiaki Sakama, Katsumi Inoue, Tony Ribeiro:
Learning Inference Rules from Data. Künstliche Intell. 33(3): 267-278 (2019) - [j26]Katsumi Inoue, Chiaki Sakama:
Disjunctive Abduction. New Gener. Comput. 37(2): 219-243 (2019) - [c82]Chiaki Sakama, Katsumi Inoue:
Ordering Argumentation Frameworks. ECSQARU 2019: 87-98 - [c81]Hien D. Nguyen, Chiaki Sakama:
A New Algorithm for Computing Least Generalization of a Set of Atoms. ILP 2019: 81-97 - [c80]Chiaki Sakama, Tran Cao Son:
Epistemic Argumentation Framework. PRICAI (1) 2019: 718-732 - 2018
- [j25]Chiaki Sakama:
Abduction in argumentation frameworks. J. Appl. Non Class. Logics 28(2-3): 218-239 (2018) - [c79]Taisuke Sato, Katsumi Inoue, Chiaki Sakama:
Abducing Relations in Continuous Spaces. IJCAI 2018: 1956-1962 - [c78]Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue:
Computing Logic Programming Semantics in Linear Algebra. MIWAI 2018: 32-48 - [i4]Chiaki Sakama, Hien D. Nguyen, Taisuke Sato, Katsumi Inoue:
Partial Evaluation of Logic Programs in Vector Spaces. CoRR abs/1811.11435 (2018) - 2017
- [j24]Chiaki Sakama, Tjitze Rienstra:
Representing Argumentation Frameworks in Answer Set Programming. Fundam. Informaticae 155(3): 261-292 (2017) - [c77]Chiaki Sakama, Katsumi Inoue, Taisuke Sato:
Linear Algebraic Characterization of Logic Programs. KSEM 2017: 520-533 - [c76]Chiaki Sakama:
A Causal Theory of Speech Acts. LORI 2017: 658-663 - 2016
- [j23]Chiaki Sakama, Katsumi Inoue:
Abduction, conversational implicature and misleading in human dialogues. Log. J. IGPL 24(4): 526-541 (2016) - 2015
- [j22]Chiaki Sakama, Martin Caminada, Andreas Herzig:
A formal account of dishonesty. Log. J. IGPL 23(2): 259-294 (2015) - [c75]Chiaki Sakama:
A Formal Account of Deception. AAAI Fall Symposia 2015: 34-41 - [c74]Chiaki Sakama, Katsumi Inoue:
Abduction and Conversational Implicature (Extended Abstract). AAAI Spring Symposia 2015 - [c73]Chiaki Sakama, Katsumi Inoue:
Can Machines Learn Logics? AGI 2015: 341-351 - [c72]Tony Ribeiro, Morgan Magnin, Katsumi Inoue, Chiaki Sakama:
Learning Multi-valued Biological Models with Delayed Influence from Time-Series Observations. ICMLA 2015: 25-31 - [c71]Chiaki Sakama, Tony Ribeiro, Katsumi Inoue:
Learning Inference by Induction. ILP 2015: 183-199 - [c70]Martin Caminada, Chiaki Sakama:
On the Issue of Argumentation and Informedness. JSAI-isAI Workshops 2015: 317-330 - [c69]Tjitze Rienstra, Chiaki Sakama, Leendert W. N. van der Torre:
Persistence and Monotony Properties of Argumentation Semantics. TAFA 2015: 211-225 - [c68]Ryuki Shimoji, Chiaki Sakama:
Multiagent Collaborative Search with Self-Interested Agents. WI-IAT (2) 2015: 242-249 - 2014
- [j21]Katsumi Inoue, Tony Ribeiro, Chiaki Sakama:
Learning from interpretation transition. Mach. Learn. 94(1): 51-79 (2014) - [j20]Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen, Chiaki Sakama:
Formalizing Negotiations Using Logic Programming. ACM Trans. Comput. Log. 15(2): 12:1-12:30 (2014) - [c67]Chiaki Sakama:
Counterfactual Reasoning in Argumentation Frameworks. COMMA 2014: 385-396 - 2013
- [j19]Chiaki Sakama, Katsumi Inoue:
Abduction, unpredictability and Garden of Eden. Log. J. IGPL 21(6): 980-998 (2013) - [c66]Tony Ribeiro, Katsumi Inoue, Chiaki Sakama:
A BDD-Based Algorithm for Learning from Interpretation Transition. ILP 2013: 47-63 - [c65]Chiaki Sakama:
Debate Games in Logic Programming. KDPD 2013: 185-201 - [c64]Chiaki Sakama:
Abduction in Argumentation Frameworks and Its Use in Debate Games. JSAI-isAI Workshops 2013: 285-303 - [c63]Naoki Yamada, Chiaki Sakama:
Evolution of Self-interested Agents: An Experimental Study. MIWAI 2013: 329-340 - [i3]Katsumi Inoue, Chiaki Sakama:
Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning. CoRR abs/1311.4639 (2013) - 2012
- [c62]Katsumi Inoue, Chiaki Sakama:
Oscillating Behavior of Logic Programs. Correct Reasoning 2012: 345-362 - [c61]Chiaki Sakama:
Dishonest Arguments in Debate Games. COMMA 2012: 177-184 - [c60]Chiaki Sakama:
Learning Dishonesty. ILP 2012: 225-240 - [e2]Chiaki Sakama, Sebastian Sardiña, Wamberto Weber Vasconcelos, Michael Winikoff:
Declarative Agent Languages and Technologies IX - 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers. Lecture Notes in Computer Science 7169, Springer 2012, ISBN 978-3-642-29112-8 [contents] - 2011
- [j18]Chiaki Sakama, Katsumi Inoue:
Inductive equivalence in clausal logic and nonmonotonic logic programming. Mach. Learn. 83(1): 1-29 (2011) - [c59]Tran Cao Son, Enrico Pontelli, Chiaki Sakama:
An Experiment in Formalizing Commitments Using Action Languages. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 - [c58]Katsumi Inoue, Chiaki Sakama:
Exploring Relations between Answer Set Programs. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 91-110 - [c57]Tran Cao Son, Enrico Pontelli, Chiaki Sakama:
Formalizing Commitments Using Action Languages. DALT 2011: 67-83 - [c56]Chiaki Sakama:
Dishonest Reasoning by Abduction. IJCAI 2011: 1063-1064 - [c55]Chiaki Sakama, Tran Cao Son, Enrico Pontelli:
A Logical Formulation for Negotiation among Dishonest Agents. IJCAI 2011: 1069-1074 - [c54]Katsumi Inoue, Chiaki Sakama, Lena Wiese:
Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users. INAP/WLP 2011: 134-151 - [c53]Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama:
ASP-Prolog for Negotiation among Dishonest Agents. LPNMR 2011: 331-344 - [i2]Katsumi Inoue, Chiaki Sakama, Lena Wiese:
Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction. CoRR abs/1108.5825 (2011) - 2010
- [c52]Chiaki Sakama, Martin Caminada, Andreas Herzig:
A Logical Account of Lying. JELIA 2010: 286-299
2000 – 2009
- 2009
- [j17]Chiaki Sakama, Katsumi Inoue:
Equivalence issues in abduction and induction. J. Appl. Log. 7(3): 318-328 (2009) - [j16]Chiaki Sakama, Katsumi Inoue:
Brave induction: a logical framework for learning from incomplete information. Mach. Learn. 76(1): 3-35 (2009) - [c51]Chiaki Sakama, Tran Cao Son:
Interacting Answer Sets. CLIMA 2009: 122-140 - [c50]Tran Cao Son, Chiaki Sakama:
Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming. DALT 2009: 208-227 - [c49]Tran Cao Son, Enrico Pontelli, Chiaki Sakama:
Logic Programming for Multiagent Planning with Negotiation. ICLP 2009: 99-114 - [c48]Tran Cao Son, Chiaki Sakama:
Negotiation Using Logic Programming with Consistency Restoring Rules. IJCAI 2009: 930-935 - [c47]Chiaki Sakama:
Social Default Theories. LPNMR 2009: 470-476 - 2008
- [j15]Chiaki Sakama, Katsumi Inoue:
Coordination in answer set programming. ACM Trans. Comput. Log. 9(2): 9:1-9:30 (2008) - [c46]Chiaki Sakama:
Negotiation by induction. AAMAS (3) 2008: 1459-1462 - [c45]Chiaki Sakama:
Inductive Negotiation in Answer Set Programming. DALT 2008: 143-160 - [c44]Katsumi Inoue, Chiaki Sakama:
Comparing Abductive Theories. ECAI 2008: 35-39 - [c43]Chiaki Sakama, Katsumi Inoue:
Brave Induction. ILP 2008: 261-278 - 2007
- [j14]Ken-ichi Maeda, Chiaki Sakama:
Identifying Cellular Automata Rules. J. Cell. Autom. 2(1): 1-20 (2007) - [c42]Katsumi Inoue, Chiaki Sakama:
Generality and Equivalence Relations in Default Logic. AAAI 2007: 434-439 - [c41]Chiaki Sakama, Katsumi Inoue:
Negotiation by abduction and relaxation. AAMAS 2007: 242 - 2006
- [j13]Katsumi Inoue, Chiaki Sakama:
Abductive Equivalence in First-order Logic. Log. J. IGPL 14(2): 333-346 (2006) - [c40]Martin Caminada, Chiaki Sakama:
On the Existence of Answer Sets in Normal Extended Logic Programs. ECAI 2006: 743-744 - [c39]Katsumi Inoue, Chiaki Sakama:
Generality Relations in Answer Set Programming. ICLP 2006: 211-225 - [c38]Chiaki Sakama, Katsumi Inoue:
Constructing Consensus Logic Programs. LOPSTR 2006: 26-42 - 2005
- [j12]Chiaki Sakama:
Ordering default theories and nonmonotonic logic programs. Theor. Comput. Sci. 338(1-3): 127-152 (2005) - [j11]Chiaki Sakama:
Induction from answer sets in nonmonotonic logic programs. ACM Trans. Comput. Log. 6(2): 203-231 (2005) - [c37]Chiaki Sakama, Katsumi Inoue:
Combining Answer Sets of Nonmonotonic Logic Programs. Answer Set Programming 2005 - [c36]Chiaki Sakama, Katsumi Inoue:
Combining Answer Sets of Nonmonotonic Logic Programs. CLIMA 2005: 320-339 - [c35]Katsumi Inoue, Chiaki Sakama:
Equivalence in Abductive Logic. IJCAI 2005: 472-477 - [c34]Chiaki Sakama, Katsumi Inoue:
Inductive Equivalence of Logic Programs. ILP 2005: 312-329 - 2004
- [c33]Chiaki Sakama, Katsumi Inoue:
Coordination Between Logical Agents. CLIMA 2004: 161-177 - [c32]Katsumi Inoue, Chiaki Sakama:
Equivalence of Logic Programs Under Updates. JELIA 2004: 174-186 - [c31]Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta:
The PLP System. JELIA 2004: 706-709 - [i1]Chiaki Sakama, Katsumi Inoue:
An Abductive Framework For Computing Knowledge Base Updates. CoRR cs.DB/0405076 (2004) - 2003
- [j10]Chiaki Sakama, Katsumi Inoue:
An abductive framework for computing knowledge base updates. Theory Pract. Log. Program. 3(6): 671-713 (2003) - [c30]Ken-ichi Maeda, Chiaki Sakama:
Discovery of Cellular Automata Rules Using Cases. Discovery Science 2003: 360-368 - [c29]Chiaki Sakama:
Ordering Default Theories. IJCAI 2003: 839-846 - [c28]Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta:
Computing Preferred Answer Sets in Answer Set Programming. LPAR 2003: 259-273 - 2002
- [c27]Chiaki Sakama:
Towards the Integration of Inductive and Nonmonotonic Logic Programming. Progress in Discovery Science 2002: 178-188 - [c26]Katsumi Inoue, Chiaki Sakama:
Disjunctive Explanations. ICLP 2002: 317-332 - 2001
- [c25]Chiaki Sakama:
Learning by Answer Sets. Answer Set Programming 2001 - [c24]Chiaki Sakama:
Nonmonotonic Inductive Logic Programming. LPNMR 2001: 62-80 - 2000
- [j9]Chiaki Sakama, Katsumi Inoue:
Prioritized logic programming and its application to commonsense reasoning. Artif. Intell. 123(1-2): 185-222 (2000) - [j8]Chiaki Sakama, Katsumi Inoue:
Abductive logic programming and disjunctive logic programming: their relationship and transferability. J. Log. Program. 44(1-3): 75-100 (2000) - [c23]Chiaki Sakama, Katsumi Inoue, Koji Iwanuma, Ken Satoh:
A Defeasible Reasoning System in Multi-Agent Environment. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 1-6 - [c22]Ken Satoh, Katsumi Inoue, Koji Iwanuma, Chiaki Sakama:
Speculative Computation by Abduction under Incomplete Communication Environments. ICMAS 2000: 263-270 - [c21]Chiaki Sakama:
Inverse Entailment in Nonmonotonic Logic Programs. ILP 2000: 209-224
1990 – 1999
- 1999
- [j7]Katsumi Inoue, Chiaki Sakama:
Computing Extended Abduction Through Transaction Programs. Ann. Math. Artif. Intell. 25(3-4): 339-367 (1999) - [c20]Katsumi Inoue, Chiaki Sakama:
Abducing Priorities to Derive Intended Conclusions. IJCAI 1999: 44-49 - [c19]Chiaki Sakama:
Some Properties of Invers Resolution in Normal Logic Programs. ILP 1999: 279-290 - [c18]Chiaki Sakama, Katsumi Inoue:
Updating Extended Logic Programs through Abduction. LPNMR 1999: 147-161 - 1998
- [j6]Katsumi Inoue, Chiaki Sakama:
Negation as Failure in the Head. J. Log. Program. 35(1): 39-78 (1998) - [c17]Katsumi Inoue, Chiaki Sakama:
Specifying Transactions for Extended Abduction. KR 1998: 394-405 - 1997
- [j5]Chiaki Sakama, Hirohisa Seki:
Partial Deduction in Disjunctive Logic Programming. J. Log. Program. 32(3): 229-245 (1997) - 1996
- [j4]Katsumi Inoue, Chiaki Sakama:
A Fixpoint Characterization of Abductive Logic Programs. J. Log. Program. 27(2): 107-136 (1996) - [c16]Chiaki Sakama, Katsumi Inoue:
Representing Priorities in Logic Programs. JICSLP 1996: 82-96 - 1995
- [j3]Chiaki Sakama, Katsumi Inoue:
Paraconsistent Stable Semantics for Extended Disjunctive Programs. J. Log. Comput. 5(3): 265-285 (1995) - [c15]Chiaki Sakama, Katsumi Inoue:
The Effect of Partial Deduction in Abductive Reasoning. ICLP 1995: 383-397 - [c14]Katsumi Inoue, Chiaki Sakama:
Abductive Framework for Nonmonotonic Theory Change. IJCAI 1995: 204-210 - [c13]Chiaki Sakama, Katsumi Inoue:
Embedding Circumscriptive Theories in General Disjunctive Programs. LPNMR 1995: 344-357 - [e1]Hendrik Decker, Ulrich Geske, Antonis C. Kakas, Chiaki Sakama, Dietmar Seipel, Toni Urpí:
Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995. GMD-Studien 266, Gesellschaft für Mathematik und Datenverarbeitung MbH 1995, ISBN 3-88457-266-0 [contents] - 1994
- [j2]Chiaki Sakama, Katsumi Inoue:
An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases. J. Autom. Reason. 13(1): 145-172 (1994) - [c12]Chiaki Sakama, Katsumi Inoue:
On the Equivalence between Disjunctive and Abductive Logic Programs. ICLP 1994: 489-503 - [c11]Katsumi Inoue, Chiaki Sakama:
On Positive Occurrences of Negation as Failure. KR 1994: 293-304 - [c10]Chiaki Sakama, Hirohisa Seki:
Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. LOPSTR 1994: 170-182 - 1993
- [c9]Katsumi Inoue, Chiaki Sakama:
Transforming Abductive Logic Programs to Disjunctive Programs. ICLP 1993: 335-353 - [c8]Chiaki Sakama, Katsumi Inoue:
Negation in Disjunctive Logic Programs. ICLP 1993: 703-719 - [c7]Chiaki Sakama, Katsumi Inoue:
Relating Disjunctive Logic Programs to Default Theories. LPNMR 1993: 266-282 - 1992
- [c6]Chiaki Sakama:
Extended Well-Founded Semantics for Paraconsistent Logic Programs. FGCS 1992: 592-599 - 1990
- [c5]Chiaki Sakama:
Possible Model Semantics for Disjunctive Databases II (Extended Abstract). LPNMR 1990: 107-114
1980 – 1989
- 1989
- [c4]Chiaki Sakama:
Possible Model Semantics for Disjunctive Databases. DOOD 1989: 369-383 - 1988
- [j1]Chiaki Sakama, Hidenori Itoh:
Partial Evaluation of Queries in Deductive Databases. New Gener. Comput. 6(2&3): 249-258 (1988) - [c3]Chiaki Sakama, Hidenori Itoh:
Handling Knowledge by its Representative. Expert Database Conf. 1988: 551-565 - [c2]Chiaki Sakama, Akira Okumura:
Nonmonotonic Parallel Inheritance Network. LP 1988: 53-66 - 1987
- [c1]Hidenori Itoh, Masaaki Abe, Chiaki Sakama, Yuji Mitomo:
Parallel Control Techniques for Dedicated Relational Database Engines. ICDE 1987: 208-215
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint