Search Results - "Sakama, Chiaki"

Epistemic Argumentation Framework: Theory and Computation by Sakama, Chiaki, Son, Tran Cao

“…The paper introduces the notion of an epistemic argumentation framework (EAF) as a means to integrate the beliefs of a reasoner with argumentation…”
Get full text

Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation by Nguyen, Tuan Quoc, Inoue, Katsumi, Sakama, Chiaki

“…Algebraic characterization of logic programs has received increasing attention in recent years. Researchers attempt to exploit connections between linear…”
Get full text

An efficient reasoning method on logic programming using partial evaluation in vector spaces by Nguyen, Hien D, Sakama, Chiaki, Sato, Taisuke, Inoue, Katsumi

“…Abstract In this paper, we introduce methods of encoding propositional logic programs in vector spaces. Interpretations are represented by vectors and programs…”
Get full text

Brave induction: a logical framework for learning from incomplete information by Sakama, Chiaki, Inoue, Katsumi

“…This paper introduces a novel logical framework for concept-learning called brave induction . Brave induction uses brave inference for induction and is useful…”
Get full text

A principle-based robustness analysis of admissibility-based argumentation semantics by Rienstra, Tjitze, Sakama, Chiaki, van der Torre, Leendert, Liao, Beishui

“…The principle-based approach is a methodology to classify and analyse argumentation semantics. In this paper we classify seven of the main alternatives for…”
Get full text

Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation by Nguyen Quoc, Tuan, Inoue, Katsumi, Sakama, Chiaki

Get full text

Prioritized logic programming and its application to commonsense reasoning by Sakama, Chiaki, Inoue, Katsumi

“…Representing and reasoning with priorities are important in commonsense reasoning. This paper introduces a framework of prioritized logic programming (PLP),…”
Get full text

Ordering default theories and nonmonotonic logic programs by Sakama, Chiaki

“…First-order theories are ordered under logical entailment based on the amount of information derived from theories. In default logic, on the other hand, a…”
Get full text

Abduction in argumentation frameworks by Sakama, Chiaki

“…This paper studies abduction in abstract argumentation frameworks. Given an argument, an agent verifies whether the argument is justified or not in its…”
Get full text

Inductive equivalence in clausal logic and nonmonotonic logic programming by SAKAMA, Chiaki, INOUE, Katsumi

Get full text

Linear Algebraic Computation of Propositional Horn Abduction by Quoc, Tuan Nguyen, Inoue, Katsumi, Sakama, Chiaki

“…Linear algebraic characterization of logic programs has been investigated to perform logical inference in large-scale knowledge bases and has gained…”
Get full text

Learning from interpretation transition by Inoue, Katsumi, Ribeiro, Tony, Sakama, Chiaki

“…We propose a novel framework for learning normal logic programs from transitions of interpretations. Given a set of pairs of interpretations ( I , J ) such…”
Get full text

Logic programming in tensor spaces by Sakama, Chiaki, Inoue, Katsumi, Sato, Taisuke

“…This paper introduces a novel approach to computing logic programming semantics. First, a propositional Herbrand base is represented in a vector space and…”
Get full text

Disjunctive Abduction by Inoue, Katsumi, Sakama, Chiaki

“…Given an observation or a goal, abduction infers candidate hypotheses to explain the observation or to achieve the goal. In this paper, we consider disjunctive…”
Get full text

Abduction, conversational implicature and misleading in human dialogues by Sakama, Chiaki, Inoue, Katsumi

Get full text

Human Conditional Reasoning in Answer Set Programming by Sakama, Chiaki

“…Theory and Practice of Logic Programming, vol.24(1), January 2024, pp. 157-192 Given a conditional sentence "P=>Q" (if P then Q) and respective facts, four…”
Get full text

Inductive equivalence in clausal logic and nonmonotonic logic programming by Sakama, Chiaki, Inoue, Katsumi

“…This paper provides a logical framework for comparing inductive capabilities among agents having different background theories. A background theory is called…”
Get full text

Inductive equivalence in clausal logic and nonmonotonic logic programming by Sakama, Chiaki, Inoue, Katsumi

“…This paper provides a logical framework for comparing inductive capabilities among agents having different background theories. A background theory is called…”
Get full text

Learning from interpretation transition: Inductive Logic Progamming (ILP 2012) by INOUE, Katsumi, RIBEIRO, Tony, SAKAMA, Chiaki

Get full text

An alternative approach to the semantics of disjunctive logic programs and deductive databases by Sakama, Chiaki, Inoue, Katsumi

“…In this paper, we study a new semantics of logic programming and deductive databases. The possible model semantics is introduced as a declarative semantics of…”
Get full text