The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Chiaki Sakama: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hidenori Itoh, Masaaki Abe, Chiaki Sakama, Yuji Mitomo
    Parallel Control Techniques for Dedicated Relational Database Engines. [Citation Graph (4, 9)][DBLP]
    ICDE, 1987, pp:208-215 [Conf]
  2. Chiaki Sakama
    Possible Model Semantics for Disjunctive Databases. [Citation Graph (3, 0)][DBLP]
    DOOD, 1989, pp:369-383 [Conf]
  3. Chiaki Sakama, Katsumi Inoue
    Relating Disjunctive Logic Programs to Default Theories. [Citation Graph (2, 0)][DBLP]
    LPNMR, 1993, pp:266-282 [Conf]
  4. Chiaki Sakama
    Extended Well-Founded Semantics for Paraconsistent Logic Programs. [Citation Graph (1, 0)][DBLP]
    FGCS, 1992, pp:592-599 [Conf]
  5. Katsumi Inoue, Chiaki Sakama
    Transforming Abductive Logic Programs to Disjunctive Programs. [Citation Graph (1, 0)][DBLP]
    ICLP, 1993, pp:335-353 [Conf]
  6. Chiaki Sakama, Katsumi Inoue
    An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases. [Citation Graph (1, 0)][DBLP]
    J. Autom. Reasoning, 1994, v:13, n:1, pp:145-172 [Journal]
  7. Chiaki Sakama, Katsumi Inoue
    Paraconsistent Stable Semantics for Extended Disjunctive Programs. [Citation Graph (1, 0)][DBLP]
    J. Log. Comput., 1995, v:5, n:3, pp:265-285 [Journal]
  8. Chiaki Sakama, Hidenori Itoh
    Partial Evaluation of Queries in Deductive Databases. [Citation Graph (1, 0)][DBLP]
    New Generation Comput., 1988, v:6, n:2&3, pp:249-258 [Journal]
  9. Chiaki Sakama
    Learning by Answer Sets. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2001, pp:- [Conf]
  10. Chiaki Sakama, Katsumi Inoue
    Combining Answer Sets of Nonmonotonic Logic Programs. [Citation Graph (0, 0)][DBLP]
    Answer Set Programming, 2005, pp:- [Conf]
  11. Chiaki Sakama, Katsumi Inoue, Koji Iwanuma, Ken Satoh
    A Defeasible Reasoning System in Multi-Agent Environment. [Citation Graph (0, 0)][DBLP]
    CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000, pp:1-6 [Conf]
  12. Chiaki Sakama, Katsumi Inoue
    Combining Answer Sets of Nonmonotonic Logic Programs. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:320-339 [Conf]
  13. Chiaki Sakama, Katsumi Inoue
    Coordination Between Logical Agents. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:161-177 [Conf]
  14. Ken-ichi Maeda, Chiaki Sakama
    Discovery of Cellular Automata Rules Using Cases. [Citation Graph (0, 0)][DBLP]
    Discovery Science, 2003, pp:360-368 [Conf]
  15. Chiaki Sakama
    Towards the Integration of Inductive and Nonmonotonic Logic Programming. [Citation Graph (0, 0)][DBLP]
    Progress in Discovery Science, 2002, pp:178-188 [Conf]
  16. Martin Caminada, Chiaki Sakama
    On the Existence of Answer Sets in Normal Extended Logic Programs. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:743-744 [Conf]
  17. Chiaki Sakama, Hidenori Itoh
    Handling Knowledge by its Representative. [Citation Graph (0, 0)][DBLP]
    Expert Database Conf., 1988, pp:551-565 [Conf]
  18. Katsumi Inoue, Chiaki Sakama
    Disjunctive Explanations. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:317-332 [Conf]
  19. Katsumi Inoue, Chiaki Sakama
    Generality Relations in Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:211-225 [Conf]
  20. Chiaki Sakama, Katsumi Inoue
    Negation in Disjunctive Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:703-719 [Conf]
  21. Chiaki Sakama, Katsumi Inoue
    On the Equivalence between Disjunctive and Abductive Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:489-503 [Conf]
  22. Chiaki Sakama, Katsumi Inoue
    The Effect of Partial Deduction in Abductive Reasoning. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:383-397 [Conf]
  23. Chiaki Sakama, Katsumi Inoue
    Representing Priorities in Logic Programs. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:82-96 [Conf]
  24. Ken Satoh, Katsumi Inoue, Koji Iwanuma, Chiaki Sakama
    Speculative Computation by Abduction under Incomplete Communication Environments. [Citation Graph (0, 0)][DBLP]
    ICMAS, 2000, pp:263-270 [Conf]
  25. Katsumi Inoue, Chiaki Sakama
    Equivalence in Abductive Logic. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:472-477 [Conf]
  26. Katsumi Inoue, Chiaki Sakama
    Abductive Framework for Nonmonotonic Theory Change. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1995, pp:204-210 [Conf]
  27. Katsumi Inoue, Chiaki Sakama
    Abducing Priorities to Derive Intended Conclusions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:44-49 [Conf]
  28. Chiaki Sakama
    Ordering Default Theories. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:839-846 [Conf]
  29. Chiaki Sakama
    Some Properties of Invers Resolution in Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
    ILP, 1999, pp:279-290 [Conf]
  30. Chiaki Sakama, Katsumi Inoue
    Inductive Equivalence of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ILP, 2005, pp:312-329 [Conf]
  31. Chiaki Sakama
    Inverse Entailment in Nonmonotonic Logic Programs. [Citation Graph (0, 0)][DBLP]
    ILP, 2000, pp:209-224 [Conf]
  32. Katsumi Inoue, Chiaki Sakama
    Equivalence of Logic Programs Under Updates. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:174-186 [Conf]
  33. Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta
    The PLP System. [Citation Graph (0, 0)][DBLP]
    JELIA, 2004, pp:706-709 [Conf]
  34. Katsumi Inoue, Chiaki Sakama
    On Positive Occurrences of Negation as Failure. [Citation Graph (0, 0)][DBLP]
    KR, 1994, pp:293-304 [Conf]
  35. Katsumi Inoue, Chiaki Sakama
    Specifying Transactions for Extended Abduction. [Citation Graph (0, 0)][DBLP]
    KR, 1998, pp:394-405 [Conf]
  36. Chiaki Sakama, Hirohisa Seki
    Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:170-182 [Conf]
  37. Chiaki Sakama, Katsumi Inoue
    Constructing Consensus Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2006, pp:26-42 [Conf]
  38. Chiaki Sakama, Akira Okumura
    Nonmonotonic Parallel Inheritance Network. [Citation Graph (0, 0)][DBLP]
    LP, 1988, pp:53-66 [Conf]
  39. Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta
    Computing Preferred Answer Sets in Answer Set Programming. [Citation Graph (0, 0)][DBLP]
    LPAR, 2003, pp:259-273 [Conf]
  40. Chiaki Sakama
    Nonmonotonic Inductive Logic Programming. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2001, pp:62-80 [Conf]
  41. Chiaki Sakama
    Possible Model Semantics for Disjunctive Databases II (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    LPNMR, 1990, pp:107-114 [Conf]
  42. Chiaki Sakama, Katsumi Inoue
    Embedding Circumscriptive Theories in General Disjunctive Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1995, pp:344-357 [Conf]
  43. Chiaki Sakama, Katsumi Inoue
    Updating Extended Logic Programs through Abduction. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:147-161 [Conf]
  44. Chiaki Sakama, Katsumi Inoue
    Prioritized logic programming and its application to commonsense reasoning. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:123, n:1-2, pp:185-222 [Journal]
  45. Katsumi Inoue, Chiaki Sakama
    Computing Extended Abduction Through Transaction Programs. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1999, v:25, n:3-4, pp:339-367 [Journal]
  46. Chiaki Sakama, Katsumi Inoue
    An Abductive Framework For Computing Knowledge Base Updates [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  47. Katsumi Inoue, Chiaki Sakama
    Abductive Equivalence in First-order Logic. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2006, v:14, n:2, pp:333-346 [Journal]
  48. Katsumi Inoue, Chiaki Sakama
    A Fixpoint Characterization of Abductive Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1996, v:27, n:2, pp:107-136 [Journal]
  49. Katsumi Inoue, Chiaki Sakama
    Negation as Failure in the Head. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1998, v:35, n:1, pp:39-78 [Journal]
  50. Chiaki Sakama, Katsumi Inoue
    Abductive logic programming and disjunctive logic programming: their relationship and transferability. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 2000, v:44, n:1-3, pp:75-100 [Journal]
  51. Chiaki Sakama, Hirohisa Seki
    Partial Deduction in Disjunctive Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1997, v:32, n:3, pp:229-245 [Journal]
  52. Chiaki Sakama
    Ordering default theories and nonmonotonic logic programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:338, n:1-3, pp:127-152 [Journal]
  53. Chiaki Sakama
    Induction from answer sets in nonmonotonic logic programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2005, v:6, n:2, pp:203-231 [Journal]
  54. Chiaki Sakama, Katsumi Inoue
    An abductive framework for computing knowledge base updates. [Citation Graph (0, 0)][DBLP]
    TPLP, 2003, v:3, n:6, pp:671-713 [Journal]
  55. Katsumi Inoue, Chiaki Sakama
    Generality and Equivalence Relations in Default Logic. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:434-439 [Conf]

  56. Negotiation by abduction and relaxation. [Citation Graph (, )][DBLP]


  57. Negotiation by induction. [Citation Graph (, )][DBLP]


  58. Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming. [Citation Graph (, )][DBLP]


  59. Inductive Negotiation in Answer Set Programming. [Citation Graph (, )][DBLP]


  60. Comparing Abductive Theories. [Citation Graph (, )][DBLP]


  61. Logic Programming for Multiagent Planning with Negotiation. [Citation Graph (, )][DBLP]


  62. Negotiation Using Logic Programming with Consistency Restoring Rules. [Citation Graph (, )][DBLP]


  63. Brave Induction. [Citation Graph (, )][DBLP]


  64. A Logical Account of Lying. [Citation Graph (, )][DBLP]


  65. Social Default Theories. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002