List of Publications (Since 2000)
Book chapters
- K.Takahashi:
"Argumentation System (議論学),"
Artificial Intelligence and Law (人工知能と法律),
K.Satoh and K.Nitta (eds.), Chapt 7,pp. 138-162, Kindai Kagaku sha，2022 [In Japanese].
- Ghourabi,F., T.Ida and K.Takahashi:
"Interactive Construction and Automated Proof in Eos System with
Application to Knot Fold of Regular Polygons,"
Origami 6,
K.Miura et al.(eds.), PartI:Mathematics, pp.55-66,
American Mathematical Society, December, 2015.
- Takahashi,K, :
"PLCA: A Framework for Qualitative Spatial Reasoning
Based on Connection Patterns of Regions,"
Qualitative Spatio-Temporal Representation and Reasoning:
Trends and Future Directions,
S.Hazarika(ed.), Chapt 2, pp.63-96, IGI Publishers，May, 2012.
Journal papers
- Kawasaki,T., S.Moriguchi and K.Takahashi
"Reasoing by a Bipolar Argumentation Framework for PROLEG,"
New Frontiers in Artificial Intelligence - JSAI-isAI 2018 Workshops 2018,
Revised Selected Papers.
pp.115-130, LNCS 11717, Springer 2019, ISBN 978-3-030-31604-4, 2019.
- Ghourabi,F. and K.Takahashi
"What does the qualitative spatial knowledge tell about the origami geometric folds?"
Artificial Intelligence and Symbolic Computation
13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings,
pp.139-154, LNCS 11110, September, 2018.
- Takahashi,K. and S.Yokohama :
"On a Formal Treatment of Deception in Argumentative Dialogues,"
Multi-Agent Systems and Agreement Technologies
14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers,
pp.390-404, LNCS 10207, Springer-Verlag, March, 2017.
- Moriguchi,S., T.Morishima, M.Goto and K.Takahashi:
"Verification of Content-Centric Networking using Proof Assistant"
IEICE Transactions on Information and Systems, Vol.E99-B, No.11,
pp.2297-2304, November, 2016.
- Yokohama,S. and K.Takahashi:
"What Should an Agent Know Not to Fail in Persuasion?"
Multi-Agent Systems and Agreement Technologies
13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers,
pp.219-233, LNCS 9571, Springer-Verlag, April, 2016.
- Moriguchi,S. and K.Takahashi:
"An Interactive Extension Mechanism Extending Record Types,"
(レコードの拡張を許す対話的修正機構)
Computer Software,
Vol.33, No.2, pp.125-138, 2016,
doi:http://doi.org/10.11309/jssst.33.2_125 [In Japanese].
- Takahashi,K., M.Goto and H.Miwa:
"Construction of a Planar PLCA Expression: A Qualitative Treatment of Spatial Data,"
Agents and Artificial Intelligence,
7th International Conference, ICAART 2015,
Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers,
pp. 298-315, LNAI 9494, Springer-Verlag, December, 2015.
- Ida,T., F.Ghourabi and K.Takahashi:
"Formalizing Polygonal Knot Origami,"
Journal of Symbolic Computation, Vol.69, pp.93-108, July-August, 2015,
doi:10.1016/j.jsc.2014.09.031.
- Konishi,T. and K.Takahashi:
"Superposition of Rectangles with Visibility Requirement: A Qualitative Approach,"
International Journal On Advances in Software,
Vol.4, No.3&4, pp.422-433, April, 2012.
- Sekizawa,T., T.Toyoshima, Koichi Takahashi and Kazuko Takahashi:
"Probabilistic Symmetry Reduction for a System with Ring Buffer,"
IEICE Transactions on Information and Systems, Vol.E94-D, No.5, pp.967-975, May, 2011.
- Takasago,T. and K.Takahashi:
"Modeling and Simulation of the Traffic Flow with Lane Changing and Sudden Arrival/Exit of
Vehicles Based on Inter-vehicle Communications,"
(車車間通信を用いた車線変更と脇道にともなう交通流の円滑化を図るモデルの提案と実装),
The Information Processing Society of Japan,
Transactions on Mathematical Modeling and its Applications,
Vol.2, No.3, pp.110-127, December, 2009 [In Japanese].
- Takahashi,K, T.Sumitomo and I.Takeuti.
"On Embedding a Qualitative Representation in a Two-Dimensional Plane,"
Spatial Cognition and Computation, Vol.8, No.1-2, pp.4-26, April, 2008.
- Takahashi,K and T.Sumitomo.
"The Qualitative Treatment of Spatial Data,"
International Journal on Artificial Intelligent Tools,
Vol.16, No.4, pp.661-682, August, 2007.
- Kawamura,T., H.Fujii, K.Tsuchida and L.Takahashi:
"Modeling Railway Interlocking Systems for Formal Verification and Development of a Formal Verification Environment,"
(鉄道信号システムの連動装置の形式的検証向きモデル化と検証環境構築),
IEICE Transactions on Information and Systems,
Vol.J88-D-I, No.12, pp.1727-1739, December, 2005 [In Japanese]
- Inahata,Y. and K.Takahashi:
"An Analysis of Cyclic Behaviors of Board Game BAO,"
(ボードゲームBAOにおける周期的動作の解析)
The Information Processing Society of Japan,
Transactions on Mathematical Modeling and its Applications,
Vol.46, No.SIG17(TOM13), pp.88-101, December, 2005 [In Japanese].
- Inahata,Y. and K.Takahashi:
"Analysis of the Cyclic Structure of Board Game BAO and Its Verification by a Model Checker,"
(ボードゲームBAOの動作の解析とモデルチェッカによる検証),
The 9th Game Programming Workshop 2004 (GPW-04), pp.151-158, November, 2004 [In Japanese].
- Takahashi,K.:
"Qualitative Spatial Reasoning about Propagation of Properties,"
(性質の伝播に関する定性空間推論),
Computer Software, Vol.21, No.4, pp.37-42, 2004 [In Japanese].
- Takahashi,K and C.Kawashima:
"Multiagent Planning with
Incomplete Information in an Environment with Dense Interactions: A Case Study,"
No.18, pp.3-11, K.G. Studies in Computer Science, Kwansei
Gakuin University, March, 2004.
- Takahashi,K:
"Reasoning about Propagation of Properties over Regions,"
Journal of Universal Computer Science, Vol.9, No.9,
pp.1030-1045, 2003.
- Kawarazaki,K. and K.Takahashi:
"An Extension of the Dynamic Network Routing System Using Mobile Agents,"
(モバイルエージェントを用いた動的ネットワークルーチングシステムの拡張および効率化),
IEICE Transactions on Information and Systems,
Vol.J86-B, No.11, pp.2433-2436, 2003 [In Japanese].
International Conferences (refereed)
- Taniuchi, Y. and K.Takahashi:
"Qualitative Spatial Representation and Reasoning about Fold Strata,"
Proceedings of the 15th International Conference on Agents and Artificial Intelligence (ICAART2023),
pp. 211-220, February, 2023.
- Takahashi.K:
"Odd or Even: Handling N-lemmas in a Dynamic Argumentation Framework,"
The Fourth International Workshop on Systems and Algorithms for Formal Argumentation (SAFA2022),
pp.5-18, September, 2022.
- Nishihana,K, S.Nomura and K.Takahashi:
"Hybrid Reasoning Using Weighted Bipolar Argumentation Framework for Legal Simulation,"
23th International Workshop on Juris-informatics (JURISIN2021),
pp.68-81, November, 2021.
- Takahashi,K. and T.Okubo:
"How Can You Resolve a Trilemma? - A Topological Approach -,"
4th International Conference on Logic and Argumentation (CLAR2021), pp.397-416, LNCS 13040, ISBN 978-3-030-89390-3. Springer-Verlag, October, 2021.
- Satoh,K., K.Takahashi and T.Kawasaki:
"Interactive System for Arranging Issues based on PROLEG in Civil Litigation,"
The 18th International Conference on Artiticial Intelligence and Law (ICAIL 2021),
June, 2021.
- Kawasaki,T., S.Moriguchi and K.Takahashi:
"Hybrid Reasoning on a Bipolar Argumentation Framework,"
The 13th International Conference on Scalable Uncertainty Management (SUM 2019),
pp.79-92, LNCS 11940, ISBN 978-3-030-35514-2. Springer-Verlag,
December, 2019.
- Kawasaki,T., S.Moriguchi and K.Takahashi:
"A Proposal of a Structuring Notation for a Judgement,"
21th International Workshop on Juris-informatics (JURISIN2019),
November, 2019.
- Tosue,M. and K.Takahashi:
"Towards a Qualitative Reasoning on Shape Change and Object Division,"
14th International Conference on Spatial Information Theory (COSIT 2019),
pp.7:1-7:15, LIPICS Vol. 142, ISBN 978-3-95977-115-3, September, 2019.
- Tosue,M., S.Moriguchi and K.Takahashi:
"Operations for Shape Transformations Based on Angles,"
Proceedings of the 11th International Conference on Agents and Artificial Intelligence (ICAART2019),
pp. 576-583, February, 2019.
- Kawasaki,T., S.Moriguchi and K.Takahashi:
"Reasoing by a Bipolar Argumentation Framework for PROLEG,"
20th International Workshop on Juris-informatics (JURISIN2018),
November, 2018.
- Kawasaki,T., S.Moriguchi and K.Takahashi:
"Transformation from PROLEG to a Bipolar Argumentation Framework,"
The Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA2018),
pp.36-47, September, 2018.
- Moriguchi,S. and K.Takahashi:
"Expressing the Characteristics of an Argumentation Framework,"
The Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA2018),
pp.60-71, September, 2018.
- Tosue,M., S.Moriguchi and K.Takahashi:
"Qualitative Shape Representation and Reasoning Based on Concavity and Tangent Point,"
QR'18 - 31st International Workshop on Qualitative Reasoning (QR2018),
https://drive.google.com/open?id=1LcZOWPKEyoaIiDOhSel_5fl-QOTX92AB,
July, 2018.
- Kokusho,K. and K.Takahashi:
"Evaluation of Dishonest Argumentation Based on an Opponent Model: A Preliminary Report,"
Proceedings of the 10th International Conference on Agents and Artificial Intelligence (ICAART2018),
pp.268-275,
January, 2018.
- Takahashi,K :
"Correspondence between PLCA and Maptree: Representation of a Space Configuration,"
Proceedings of Workshops and Posters at the 13th International
Conference on Spatial Information Theory (COSIT 2017), pp.117-123.
- Kato,T., S.Moriguchi and K.Takahashi:
"Superposition of Qualitative Rectangles using a Quantitative Model,"
9th International Conference on Agents and Artificial Intelligence (ICAART2017),
http://www.scitepress.org/DigitalLibrary,
February, 2016.
- Takahashi,K. and S.Yokohama :
"On a Formal Treatment of Deception in Argumentative Dialogues,"
14th European Conference on Multi-Agent Systems (EUMAS-AT2016),
December, 2016.
- Ghourabi,F. and K.Takahashi:
"A Proof of the Compositions of Time Interval Relations,"
Isabelle Workshop 2016,
http://www21.in.tum.de/~nipkow/Isabelle2016/,
August, 2016.
- Takahashi,K., S.Moriguchi and M.Goto,
"Formalization of a Surface Subdivision Allowing a Region with
Holes without Coordinates,"
11th International Workshop on Automated Deduction in Geometry (ADG2016),
pp.190-207, June, 2016.
- Moriguchi,S., M.Goto and K.Takahashi,
"Towards Verified Construction for Planar Class of a Qualitative Spatial Representation,"
SCSS 2016: 7th International Symposium on Symbolic Computation in Software Science,
EPiC Series in Computing, Vol.39, pp.117-129, March, 2016.
- Yokohama,S. and K.Takahashi:
"What should an agent know not to fail in persuasion?"
13th European Conference on Multi-Agent Systems (EUMAS-AT2015),
December, 2015.
- Moriguchi,S., T.Morishima, M.Goto and K.Takahashi:
"Formalization of the Behavior of Content-Centric Networking,"
The 10th International Conference on Future Networks and
Communications (FNC2015),
Procedia Computer Science, Vol.56, pp.197-204, August, 2015,
doi:10.1016/j.procs.2015.07.197 (Best Paper Award).
- Ghourabi,F. and K.Takahashi:
"Generalization of Superposition of Rectangles Based on Direction Relations,"
The 28th International Workshop on Qualitative Reasoning (QR2015),
http://qr15.sift.net/program.html,
August, 2015.
- Takahashi,K., M.Goto and H.Miwa:
"A Qualitative Representation of a Figure and Construction of Its Planar Class,"
Seventh International Conference on Agents and Artificial Intelligence (ICAART15), pp.204-213, January, 2015.
- Ghourabi,F. and K.Takahashi:
"Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL,"
Seventh International Conference on Agents and Artificial Intelligence (ICAART15),
pp.530-539, January, 2015.
- Ghourabi,F., T.Ida and K.Takahashi:
"Interactive Construction and Automated Proof in Eos System with Application to Knot Fold of Regular Polygons,"
The 6th International Conference on Origami in Science,
Mathematics and Education and Folding Convention (6OSME),
August, 2014.
- Sakaida, M.,T.Kiyose and K.Takahashi:
"Qualitative Spatio-Temporal Representation
for Event Extraction from Video Data of Football Games,"
IASTED Artificial Intelligence and Applications 2013, pp.325-333,
February, 2014.
- Enomoto,S. and K.Takahashi:
"A Qualitative Framework for Deriving a Terrain Feature,"
27th International Workshop on Qualitative Reasoning (QR2013),
pp.85-91, August, 2013.
- Takahashi.K., S.Yoshimaru and M.Goto:
"Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application,"
Fifth International Symposium on
Symbolic Computation in Software Science (SCSS2013),
pp.93-107, July, 2013.
- Ghourabi,F., T.Ida and K.Takahashi:
"Logical and Algebraic Views of a Knot Fold of a Regular Heptagon,"
Fifth International Symposium on
Symbolic Computation in Software Science (SCSS2013),
pp.50-63, July, 2013.
- Satoh,K. and K.Takahashi:
"Decision Making in Knowledge Integration with Dynamic Creation of Argumentation,"
Information Search, Integration and Personalization
International Workshop (ISIP 2012) Revized Selected Papers,
pp.41-50, Springer-Verlag, July, 2013.
- Goto,Y. and K.Takahashi.
"Certified Merger for C Programs Using a Theorem Prover:A First Step,"
28th International Conference on Computers and Their Applications (CATA2013),
pp.59-64, March, 2013.
- K.Takahashi.
"An Argumentation System with Indirect Attacks,"
Fifth International Conference on Agents and Artificial Intelligence (ICAART12),
pp.551-554, February, 2013.
- Takahashi,K..
"Reasoning about Relative Relationships in 3D Space
for Objects Extracted from Dynamic Image Data,"
ECAI-2012 Workshop on Spatio-Temporal Dynamics (STeDY 2012).
pp.45-51, August, 2012.
- Takahashi,K. and Y. Nambu.
"A Semantics for Dynamic Argumentation Frameworks,"
Eighth International Workshop on
Argumentation in Multi-Agent Systems (ArgMAS 2011), pp.66-85, LNCS 7543, Springer-Verlag, July, 2012.
- Satoh,K. and K.Takahashi.
"A Semantics of Argumentation under Incomplete Information,"
Fifth International Workshop on Juris-informatics (JURISIN 2011),
pp.86-97, December, 2011.
- Nambu,Y. and K.Takahashi.
"An Argumentation Model with Queries,"
Ninth European Workshop on Multi-Agent Systems (EUMAS11), November, 2011.
- Konishi,T. and K.Takahashi.
"Symbolic Representation and Reasoning for Rectangles with Superposition,"
The Third International Conference on Advances in Databases, Knowledge, and
Data Applications (DBKDA 2011), pp.71-76, January, 2011 (Best Paper Award).
- Okuno,K. and K.Takahashi.
"Argumentation System Allowing Suspend/Resume of an Argumentation Line,"
Seventh International Workshop on Argumentation in Multi-Agent Systems (ArgMAS
2010), pp.248-267, LNCS 6614, Springer-Verlag, April, 2011.
- Kumokawa,S. and K.Takahashi.
"Rectangle Reasoning: A Qualitative Spatial Reasoning with Superposition,"
23rd Florida Artificial Intelligence Research Society Conference (FLAIRS-23),
pp.150-151, May, 2010.
- Toyoshima,T. and K.Takahashi.
"Probablistic Model Checking of an Automatic Identification System,"
The 13th IASTED International Conference on Software Engineering and
Applications, pp.45-52, November, 2009.
- Takahashi,K. and S.Yoshimaru.
"Formalization of Data Conversion for Inductive Proof,"
Tunisia-Japan Workshop on Symbolic Computation in Software Science (SCSS 2009),
pp.135-150, September, 2009.
- Okuno,K. and K.Takahashi.
"Argumentation System with Changes of an Agent's Knowledge Base,"
21st International Joint Conference on Artificial Intelligence (IJCAI09),
pp.226-232, July, 2009.
- Takasago,T. and K.Takahashi.
"Lane Changing Model with Early Communication of Intentions,"
International Conference on Agents and Artificial Intelligence (ICAART09),
pp.455-461, January, 2009.
- Okuno,K. and K.Takahashi.
"Argumentation with a Revision of Knowledge Base,"
Sixth European Workshop on Multi-Agent Systems (EUMAS08), December, 2008.
- Kumokawa,S. and K.Takahashi.
"Qualitative Spatial Representation Based on Connection Patterns and Convexity,"
AAAI08 Workshop on Spatial and Temporal Reasoning,"
pp.40-47, July, 2008.
- Yao, S., H.Awano, Y.Hiraoka and K.Takahashi
"Modeling and Verification of Marine Equipment Systems Using a Model Checker,"
IAENG International Conference on Software Engineering (ICSE'08),
pp.1033-1040, March, 2008.
- Kumokawa,S. and K.Takahashi.
"Drawing a Figure in a Two-Dimensional Plane for a Qualitative Representation,"
Conference on Spatial Information Theory: COSIT'07,
pp.337-353, Springer-Verlag, September, 2007.
- Nishimura,K. and K.Takahashi.
"A Multi-Agent Routing Protocol with Congestion Control for MANET,"
21st European Conference on Modelling and Simulation (ECMS07), pp.164-169, June, 2007.
- Takahashi,K, T.Sumitomo and I.Takeuti.
"On Embedding a Qualitative Representation in a Two-Dimensional Plane,"
IJCAI-07 Workshop on Spatial and Temporal Reasoning, pp.101-109, January, 2007.
- Sumitomo,T. and K.Takahashi.
"A Qualitative Treatment of Spatial Data,"
The 17th IEEE International Conference on Tools with
Artificial Intelligence (ICTAI05), pp.539-548, November, 2005.
- Takahashi,K and T.Sumitomo.
"Representation and Reasoning for Spatial Data Based on the Connection Patterns of Regions,"
Conference on Spatial Information Theory: COSIT'05 (Poster), September, 2005.
- Takahashi,K and T.Sumitomo.
"A Framework for Qualitative Spatial Reasoning Based on Connection Patterns of Regions,"
IJCAI-05 Workshop on Spatial and Temporal Reasoning, pp.57-62, August, 2005.
- Takahashi,K:
"Reasoning on Spatial Constraints over Regions,"
Florida International Conference on Arificial Intelligence (FLAIRS-17),
pp.801-806, May, 2004.
- Takahashi,K and C.Kawashima:
"An Intelligent Access Dispatching Mechanism Using Multiagent Framework,"
IASTED Artificial
Intelligence and Applications 2004, pp.166-171, February, 2004.
- Takahashi,K:
"Reasoning about Propagation of Properties over Regions,"
ECAI-2002 Workshop on Spatial and Temporal Reasoning,
pp.35-39, July, 2002.
Last Updated on March 2, 2023. Kazuko TAKAHASHI