List of Publications (Since 2000)
Book chapters
- 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, :
Qualitative Spatio-Temporal Representation and Reasoning:
Trends and Future Directions,
"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
- 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)
- Takahashi,K
"Correspondence between PLCA and Maptree: Representation of a Space Configuration,"
Conference on Spatial Information Theory: COSIT2017 (Poster), to appear.
- 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 August 5, 2017. Kazuko TAKAHASHI