- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j33 |      | Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima: Completing causal networks by meta-level abduction. Machine Learning 91(2): 239-277 (2013) |
| 2012 | ||
| j32 | | Duc-Hung Le, Katsumi Inoue, Masahiro Sowa, Cong-Kha Pham: An FPGA-Based Information Detection Hardware System Employing Multi-Match Content Addressable Memory. IEICE Transactions 95-A(10): 1708-1717 (2012) |
| j31 | | Stephen Muggleton, Luc De Raedt, David Poole, Ivan Bratko, Peter A. Flach, Katsumi Inoue, Ashwin Srinivasan: ILP turns 20 - Biography and future challenges. Machine Learning 86(1): 3-23 (2012) |
| j30 | | Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma: Inverse subsumption for complete explanatory induction. Machine Learning 86(1): 115-139 (2012) |
| c93 | | Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet: Finding new consequences of an observation in a system of agents. AAMAS 2012: 1223-1224 |
| c92 | | Katsumi Inoue, Chiaki Sakama: Oscillating Behavior of Logic Programs. Correct Reasoning 2012: 345-362 |
| c91 | | Maxime Folschette, Loïc Paulevé, Katsumi Inoue, Morgan Magnin, Olivier Roux: Concretizing the Process Hitting into Biological Regulatory Networks. CMSB 2012: 166-186 |
| c90 | | Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue: Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix. ICLP (Technical Communications) 2012: 86-97 |
| c89 | | |
| c88 | | Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma: Comparison of Upward and Downward Generalizations in CF-Induction. ILP 2012: 373-388 |
| c87 | | |
| 2011 | ||
| j29 | | Chiaki Sakama, Katsumi Inoue: Inductive equivalence in clausal logic and nonmonotonic logic programming. Machine Learning 83(1): 1-29 (2011) |
| j28 | | Taisuke Sato, Masakazu Ishihata, Katsumi Inoue: Constraint-based probabilistic modeling for statistical abduction. Machine Learning 83(2): 241-264 (2011) |
| c86 | | Grégoire Lejay, Katsumi Inoue, Andrei Doncescu: Application of Meta-level Abduction for the Treatment of Hypertension Using SOLAR. AINA Workshops 2011: 495-500 |
| c85 |  | Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato: Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology. BIOINFORMATICS 2011: 47-54 |
| c84 | | Katsumi Inoue, Chiaki Sakama: Exploring Relations between Answer Set Programs. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 91-110 |
| c83 | | Domenico Corapi, Daniel Sykes, Katsumi Inoue, Alessandra Russo: Probabilistic Rule Learning in Nonmonotonic Domains. CLIMA 2011: 243-258 |
| c82 | | Katsumi Inoue, Lena Wiese: Generalizing Conjunctive Queries for Informative Answers. FQAS 2011: 1-12 |
| c81 | | Katsumi Inoue, Gauvain Bourgne, Takayuki Okamoto: Complete Distributed Consequence Finding with Message Passing. ICAART (2) 2011: 134-143 |
| c80 | | |
| c79 | | |
| i2 | | Katsumi Inoue, Chiaki Sakama, Lena Wiese: Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction. CoRR abs/1108.5825 (2011) |
| 2010 | ||
| j27 | | Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray: SOLAR: An automated deduction system for consequence finding. AI Commun. 23(2-3): 183-203 (2010) |
| j26 | | Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima: A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. Fundam. Inform. 102(3-4): 467-487 (2010) |
| c78 | | Katsumi Inoue, Andrei Doncescu, Gabriel Synnaeve, Nabil Kabbaj: Main Pathway Discovery in Metabolic Pathways. AINA Workshops 2010: 796-801 |
| c77 | | Oliver Ray, Takehide Soh, Katsumi Inoue: Analyzing Pathways Using ASP-Based Approaches. ANB 2010: 167-183 |
| c76 | | |
| c75 | | Takehide Soh, Katsumi Inoue: Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation. ECAI 2010: 277-282 |
| c74 | | Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet: Abduction of distributed theories through local interactions. ECAI 2010: 901-906 |
| c73 | | Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima: Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-level Abduction. ILP 2010: 114-129 |
| c72 | | Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet: Towards Efficient Multi-agent Abduction Protocols. LADS 2010: 19-38 |
| c71 | | Mutsunori Banbara, Haruki Matsunaka, Naoyuki Tamura, Katsumi Inoue: Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers. LPAR (Yogyakarta) 2010: 112-126 |
| c70 | | Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet: Towards Efficient Multi-Agent Abduction Protocols. MALLOW 2010 |
| 2009 | ||
| j25 | | Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima: Reconsideration of circumscriptive induction with pointwise circumscription. J. Applied Logic 7(3): 307-317 (2009) |
| j24 | | Chiaki Sakama, Katsumi Inoue: Equivalence issues in abduction and induction. J. Applied Logic 7(3): 318-328 (2009) |
| j23 | | Chiaki Sakama, Katsumi Inoue: Brave induction: a logical framework for learning from incomplete information. Machine Learning 76(1): 3-35 (2009) |
| c69 | | Yoshitaka Yamamoto, Katsumi Inoue, Andrei Doncescu: Abductive Reasoning in Cancer Therapy. AINA Workshops 2009: 948-953 |
| c68 | | Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima: Evaluating Abductive Hypotheses using an EM Algorithm on BDDs. IJCAI 2009: 810-815 |
| c67 | | Katsumi Inoue, Koichi Furukawa, Ikuo Kobayashi, Hidetomo Nabeshima: Discovering Rules by Meta-level Abduction. ILP 2009: 49-64 |
| c66 | | Petr Buryan, Jirí Kubalík, Katsumi Inoue: Grammatical Concept Representation for Randomised Optimisation Algorithms in Relational Learning. ISDA 2009: 1450-1455 |
| 2008 | ||
| j22 | | Yoshimi Egawa, Katsumi Inoue, Ken-ichi Kawarabayashi: Nonseparating Induced Cycles Consisting of Contractible Edges in k-Connected Graphs. SIAM J. Discrete Math. 21(4): 1061-1070 (2008) |
| j21 | | Chiaki Sakama, Katsumi Inoue: Coordination in answer set programming. ACM Trans. Comput. Log. 9(2) (2008) |
| c65 | | Yoshitaka Yamamoto, Katsumi Inoue, Andrei Doncescu: Estimation of Possible Reaction States in Metabolic Pathways Using Inductive Logic Programming. AINA Workshops 2008: 808-813 |
| c64 | | |
| c63 | | |
| c62 | | Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue: Complete Pruning Methods and a Practical Search Strategy for SOL. LPAR Workshops 2008 |
| 2007 | ||
| j20 | | Andrei Doncescu, Sébastien Régis, Katsumi Inoue, Richard Emilion: Analysis of New Aggregation Operators: Mean 3Pi. JACIII 11(6): 561-569 (2007) |
| c61 | | Katsumi Inoue, Chiaki Sakama: Generality and Equivalence Relations in Default Logic. AAAI 2007: 434-439 |
| c60 | | Andrei Doncescu, Yoshitaka Yamamoto, Katsumi Inoue: Biological Systems Analysis Using Inductive Logic Programming. AINA Workshops (1) 2007: 690-695 |
| c59 | | |
| c58 | | Oliver Ray, Katsumi Inoue: A Consequence Finding Approach for Full Clausal Abduction. Discovery Science 2007: 173-184 |
| c57 | | Andrei Doncescu, Katsumi Inoue, Yoshitaka Yamamoto: Knowledge Based Discovery in Systems Biology Using CF-Induction. IEA/AIE 2007: 395-404 |
| c56 | | Oliver Ray, Katsumi Inoue: Mode-Directed Inverse Entailment for Full Clausal Theories. ILP 2007: 225-238 |
| c55 | | Yoshitaka Yamamoto, Oliver Ray, Katsumi Inoue: Towards a Logical Reconstruction of CF-Induction. JSAI 2007: 330-343 |
| e1 | | Katsumi Inoue, Ken Satoh, Francesca Toni (Eds.): Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4371, Springer 2007, isbn 978-3-540-69618-6 |
| 2006 | ||
| j19 | | Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, Naoyuki Tamura: A competitive and cooperative approach to propositional satisfiability. Discrete Applied Mathematics 154(16): 2291-2306 (2006) |
| j18 | | Katsumi Inoue, Chiaki Sakama: Abductive Equivalence in First-order Logic. Logic Journal of the IGPL 14(2): 333-346 (2006) |
| j17 | | Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima: Consequence finding and computing answers with defaults. J. Intell. Inf. Syst. 26(1): 41-58 (2006) |
| c54 | | Andrei Doncescu, Muhammad Farmer, Katsumi Inoue, Gilles Richard: A web architecture for data mining in biology. AINA (2) 2006: 607-612 |
| c53 | | Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue, Koji Iwanuma: Lemma Reusing for SAT based Planning and Scheduling. ICAPS 2006: 103-113 |
| c52 | | |
| c51 | | |
| c50 | | |
| 2005 | ||
| c49 | | Chiaki Sakama, Katsumi Inoue: Combining Answer Sets of Nonmonotonic Logic Programs. Answer Set Programming 2005 |
| c48 | | Chiaki Sakama, Katsumi Inoue: Combining Answer Sets of Nonmonotonic Logic Programs. CLIMA 2005: 320-339 |
| c47 | | Andrei Doncescu, Katsumi Inoue, Muhammad Farmer, Gilles Richard: A Web-Based Architecture for Inductive Logic Programming in Biology. ICEIS (2) 2005: 357-361 |
| c46 | | Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima: Upside-Down Transformation in SOL/Connection Tableaux and Its Application. ICTAC 2005: 166-179 |
| c45 | | |
| c44 | | Katsumi Inoue, Hideyuki Bando, Hidetomo Nabeshima: Inducing Causal Laws by Regular Inference. ILP 2005: 154-171 |
| c43 | | |
| c42 | | Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue: Prolog Cafe : A Prolog to Java Translator System. INAP 2005: 1-11 |
| 2004 | ||
| j16 | | Katsumi Inoue, Koji Iwanuma: Speculative Computation Through Consequence-Finding in Multi-Agent Environments. Ann. Math. Artif. Intell. 42(1-3): 255-291 (2004) |
| j15 | | |
| c41 | | |
| c40 | | Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima: Consequence Finding in Default Theories. FQAS 2004: 459-472 |
| c39 | | Toshiko Wakaki, Katsumi Inoue: Compiling Prioritized Circumscription into Answer Set Programming. ICLP 2004: 356-370 |
| c38 | | |
| c37 | | |
| c36 | | |
| i1 | | Chiaki Sakama, Katsumi Inoue: An Abductive Framework For Computing Knowledge Base Updates. CoRR cs.DB/0405076 (2004) |
| 2003 | ||
| j14 | | Chiaki Sakama, Katsumi Inoue: An abductive framework for computing knowledge base updates. TPLP 3(6): 671-713 (2003) |
| c35 | | Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta: Computing Preferred Answer Sets in Answer Set Programming. LPAR 2003: 259-273 |
| c34 | | Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue: SOLAR: A Consequence Finding System for Advanced Reasoning. TABLEAUX 2003: 257-263 |
| 2002 | ||
| j13 | | Yoshimi Egawa, Katsumi Inoue, Ken-ichi Kawarabayashi: Nonseparating Induced Cycles Consisting of Contractible Edges in k-Connected Graphs. Electronic Notes in Discrete Mathematics 11: 253-264 (2002) |
| j12 | | Koji Iwanuma, Katsumi Inoue: Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments. Electr. Notes Theor. Comput. Sci. 70(5): 167-182 (2002) |
| c33 | | Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue: Effective SAT Planning by Speculative Computation. Australian Joint Conference on Artificial Intelligence 2002: 726-728 |
| c32 | | |
| c31 | | Koji Iwanuma, Katsumi Inoue: Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments. CLIMA 2002: 149-162 |
| c30 | | |
| c29 | | |
| 2001 | ||
| c28 | | |
| 2000 | ||
| j11 | | Chiaki Sakama, Katsumi Inoue: Prioritized logic programming and its application to commonsense reasoning. Artif. Intell. 123(1-2): 185-222 (2000) |
| j10 | | Chiaki Sakama, Katsumi Inoue: Abductive logic programming and disjunctive logic programming: their relationship and transferability. J. Log. Program. 44(1-3): 75-100 (2000) |
| c27 | | 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 |
| c26 | | |
| c25 | | Ken Satoh, Katsumi Inoue, Koji Iwanuma, Chiaki Sakama: Speculative Computation by Abduction under Incomplete Communication Environments. ICMAS 2000: 263-270 |
| c24 | | Hidetomo Nabeshima, Katsumi Inoue, Hiromasa Haneda: Implementing an action language using a SAT solver. ICTAI 2000: 96-103 |
| 1999 | ||
| j9 | | Katsumi Inoue, Chiaki Sakama: Computing Extended Abduction Through Transaction Programs. Ann. Math. Artif. Intell. 25(3-4): 339-367 (1999) |
| j8 | | |
| c23 | | |
| c22 | | Chiaki Sakama, Katsumi Inoue: Updating Extended Logic Programs through Abduction. LPNMR 1999: 147-161 |
| 1998 | ||
| j7 | | |
| c21 | | Yoshihiko Ohta, Katsumi Inoue, Ryuzo Hasegawa: On the Relationship Between Non-Horn Magic Sets and Relevancy Testing. CADE 1998: 333-348 |
| c20 | | |
| 1997 | ||
| c19 | | Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, Miyuki Koshimura: Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving. CADE 1997: 176-190 |
| c18 | | |
| 1996 | ||
| j6 | | Katsumi Inoue, Chiaki Sakama: A Fixpoint Characterization of Abductive Logic Programs. J. Log. Program. 27(2): 107-136 (1996) |
| c17 | | |
| 1995 | ||
| j5 | | Chiaki Sakama, Katsumi Inoue: Paraconsistent Stable Semantics for Extended Disjunctive Programs. J. Log. Comput. 5(3): 265-285 (1995) |
| c16 | | Chiaki Sakama, Katsumi Inoue: The Effect of Partial Deduction in Abductive Reasoning. ICLP 1995: 383-397 |
| c15 | | Katsumi Inoue, Chiaki Sakama: Abductive Framework for Nonmonotonic Theory Change. IJCAI 1995: 204-210 |
| c14 | | Chiaki Sakama, Katsumi Inoue: Embedding Circumscriptive Theories in General Disjunctive Programs. LPNMR 1995: 344-357 |
| 1994 | ||
| j4 | | Chiaki Sakama, Katsumi Inoue: An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases. J. Autom. Reasoning 13(1): 145-172 (1994) |
| j3 | | |
| c13 | | Chiaki Sakama, Katsumi Inoue: On the Equivalence between Disjunctive and Abductive Logic Programs. ICLP 1994: 489-503 |
| c12 | | |
| 1993 | ||
| j2 | | Yoshihiko Ohta, Katsumi Inoue: Incorporating Top-Down Information into Bottom-Up Hypothetical Reasoning. New Generation Comput. 11(3): 401-421 (1993) |
| c11 | | Katsumi Inoue, Chiaki Sakama: Transforming Abductive Logic Programs to Disjunctive Programs. ICLP 1993: 335-353 |
| c10 | | |
| c9 | | Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima: Bottom-up Abduction by Model Generation. IJCAI 1993: 102-108 |
| c8 | | Chiaki Sakama, Katsumi Inoue: Relating Disjunctive Logic Programs to Default Theories. LPNMR 1993: 266-282 |
| 1992 | ||
| j1 | | |
| c7 | | Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa: Embedding Negation as Failure into a Model Generation Theorem Prover. CADE 1992: 400-415 |
| c6 | | Yoshihiko Ohta, Katsumi Inoue: A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-Interpretation. FGCS 1992: 522-529 |
| 1991 | ||
| c5 | | |
| c4 | | |
| c3 | | |
| 1990 | ||
| c2 | | Katsumi Inoue: An Abductive Procedure for the CMS/ATMS. Truth Maintenance Systems (ECAI Workshop) 1990: 34-53 |
| 1988 | ||
| c1 | | |
Colors in the list of coauthors
Last update Mon May 20 10:15:03 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page