Kazuko Takahashi
Orcid: 0000-0002-5572-7747
According to our database1,
Kazuko Takahashi
authored at least 57 papers
between 1983 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), 2024
Proceedings of the 16th International Conference on Spatial Information Theory, 2024
2023
Proceedings of the Agents and Artificial Intelligence - 15th International Conference, 2023
Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023
Proceedings of the Logic and Argumentation - 5th International Conference, 2023
2022
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022
Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), 2022
2021
Proceedings of the ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, São Paulo Brazil, June 21, 2021
Proceedings of the Logic and Argumentation - 4th International Conference, 2021
2019
Compiling Arguments in an Argumentation Framework into Three-valued Logical Expressions.
CoRR, 2019
Proceedings of the Scalable Uncertainty Management - 13th International Conference, 2019
Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019
Proceedings of the 14th International Conference on Spatial Information Theory, 2019
2018
Proceedings of the New Frontiers in Artificial Intelligence, 2018
Evaluation of Dishonest Argumentation based on an Opponent Model: A Preliminary Report.
Proceedings of the 10th International Conference on Agents and Artificial Intelligence, 2018
Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), 2018
Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), 2018
Proceedings of the Artificial Intelligence and Symbolic Computation, 2018
2017
Proceedings of the 9th International Conference on Agents and Artificial Intelligence, 2017
Proceedings of Workshops and Posters at the 13th International Conference on Spatial Information Theory, 2017
2016
IEICE Trans. Commun., 2016
Towards Verified Construction for Planar Class of a Qualitative Spatial Representation.
Proceedings of the 7th International Symposium on Symbolic Computation in Software Science, 2016
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016
2015
Proceedings of the Agents and Artificial Intelligence - 7th International Conference, 2015
A Qualitative Representation of a Figure and Construction of Its Planar Class.
Proceedings of the ICAART 2015, 2015
Formalizing the Qualitative Superposition of Rectangles in Proof Assistant Isabelle/HOL.
Proceedings of the ICAART 2015, 2015
Proceedings of the 10th International Conference on Future Networks and Communications (FNC 2015) / The 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015) / Affiliated Workshops, 2015
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2015
2014
An Automatic Coding System with a Three-Grade Confidence Level Corresponding to the National/International Occupation and Industry Standard - Open to the Public on the Web.
Proceedings of the KEOD 2014, 2014
2013
Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013
Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application.
Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013
Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013
An Argumentation System with Indirect Attacks.
Proceedings of the ICAART 2013, 2013
2012
Proceedings of the Information Search, Integration and Personalization, 2012
2011
IEICE Trans. Inf. Syst., 2011
Proceedings of the Argumentation in Multi-Agent Systems - 8th International Workshop, 2011
2010
Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, 2010
Proceedings of the Argumentation in Multi-Agent Systems - 7th International Workshop, 2010
2009
Direct estimation of class membership probabilities for multiclass classification using multiple scores.
Knowl. Inf. Syst., 2009
Proceedings of the IJCAI 2009, 2009
Lane Changing Model with Early Communication of Intentions.
Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009
2008
Spatial Cogn. Comput., 2008
2007
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2007
Proceedings of the Spatial Information Theory, 8th International Conference, 2007
2005
Automatic Occupation Coding with Combination of Machine Learning and Hand-Crafted Rules.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2005
2004
Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004
2003
J. Univers. Comput. Sci., 2003
2002
1999
Artif. Intell. Eng., 1999
1989
An Operational Semantics of ANDOR-II, A Parallel Logic Programming Language with AND- and OR- Parallelism.
Proceedings of the Concurrency: Theory, 1989
1986
Proceedings of the Logic Programming '86, 1986
1984
New Gener. Comput., 1984
1983
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983