Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
94 | Mikako Kimura, Yasuhiko Kitamura |
Embodied Conversational Agent Based on Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Agent Computing and Multi-Agent Systems, 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings, pp. 734-741, 2006, Springer, 3-540-36707-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Agents and Semantic Web, AIML, RDF, Embodied conversational agents, SPARQL |
90 | André M. M. Neves, Flávia A. Barros, C. Hodges |
iAIML: a Mechanism to Treat Intentionality in AIML Chatterbots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 13-15 November 2006, Arlington, VA, USA, pp. 225-231, 2006, IEEE Computer Society, 0-7695-2728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
69 | Adjamir M. Galvão, Flávia A. Barros, André M. M. Neves, Geber L. Ramalho |
Adding Personality to Chatterbots Using the Persona-AIML Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings, pp. 963-973, 2004, Springer, 3-540-23806-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
69 | Adjamir M. Galvão, Flávia A. Barros, André M. M. Neves, Geber L. Ramalho |
Persona-AIML: An Architecture Developing Chatterbots with Personality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, pp. 1266-1267, 2004, IEEE Computer Society, 1-58113-864-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
61 | Tina Klüwer |
RMRSBot - Using Linguistic Information to Enrich a Chatbot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVA ![In: Intelligent Virtual Agents, 9th International Conference, IVA 2009, Amsterdam, The Netherlands, September 14-16, 2009, Proceedings, pp. 515-516, 2009, Springer, 978-3-642-04379-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Cordula Boden, Jessika Fischer, Kathrin Herbig, Ulrike Spierling |
CitizenTalk: Application of Chatbot Infotainment to E-Democracy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIDSE ![In: Technologies for Interactive Digital Storytelling and Entertainment, Third International Conference, TIDSE 2006, Darmstadt, Germany, December 4-6, 2006., pp. 370-381, 2006, Springer, 3-540-49934-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
AIML, virtual planning communication, authoring, knowledge base, chatbot |
53 | David Fernández-Duque, Alessandra Palmigiano, Sophie Pinchinat (eds.) |
Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![College Publications, 978-1-84890-413-2 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Krisztina Fruzsa, Roman Kuznets, Hans van Ditmarsch |
A New Hope. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 349-369, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Eugenio Orlandelli, Matteo Tesi |
Labelled sequent calculi for logics of strict implication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 625-641, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Rineke Verbrugge |
Not the sky, but the third floor is the limit: Zero-one laws for provability logic, S4, and K4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 11, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Philippe Balbiani, Quentin Gougeon |
Projective unification through duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 119-134, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Satoru Niki |
Intuitionistic Modality and Beth Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 579-599, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Tiziano Dalmonte |
Wijesekera-style constructive modal logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 281-303, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Ivano Ciardelli |
Describing neighborhoods in inquisitive modal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 217-236, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Amirhossein Akbar Tabatabai |
Provability Logics of Hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 59-76, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Balder ten Cate, Raoul Koudijs, Johan van Benthem |
Local Dependence and Guarding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 135-154, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Inmaculada Perez de Guzmán, Antonio Yuste-Ginel, Alfredo Burrieza |
A multi-modal logic for Galois connections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 155-176, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Mattia Panettiere, Apostolos Tzimoulis |
Graded modal logic with a single modality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 643-657, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Jan Rooduijn, Lukas Zenger |
An analytic proof system for common knowledge logic over S5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 659-679, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Hiroakira Ono, Katsuhiko Sano |
Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 601-623, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | George Metcalfe, Naomi Tokuda, Petr Cintula |
Algebraic Semantics for One-Variable Lattice-Valued Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 237-258, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Anupam Das 0002, Sonia Marin |
Modal logic and the polynomial hierarchy: from QBFs to K and back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 329-348, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Wesley H. Holliday |
Non-classical modal logic for natural language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 7-8, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Francesca Poggiolesi |
Explanations in logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 9-10, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Guillaume Massas |
Choice-Free de Vries Duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 557-577, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Ruba Alassaf, Renate A. Schmidt, Uli Sattler |
Saturation-Based Uniform Interpolation for Multi-Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 37-57, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Wesley H. Holliday |
Compatibility and accessibility: Lattice representations for semantics of non-classical and modal logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 507-529, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Igor Sedlár, Pietro Vigiani |
Relevant Reasoners in a Classical World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 697-717, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Yanjing Wang 0001, Yunsong Wang, Haoyu Wang |
An Epistemic Interpretation of Tensor Disjunction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 719-739, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Ian Shillito, Rajeev Goré |
Direct elimination of additive-cuts in GL4ip: verified and extracted. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 429-449, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Wojtek Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski |
Verification of Multi-Agent Properties in Electronic Voting: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 531-556, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Jim de Groot |
Goldblatt-Thomason Theorems for Modal Intuitionistic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 467-489, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Philippe Balbiani, Saúl Fernández González |
Parametrized modal logic I: An introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 97-117, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Lutz Straßburger, Matteo Tesi, Agata Ciabattoni |
Taming Bounded Depth with Nested Sequents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 199-216, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Tiziano Dalmonte, Marianna Girlando |
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 305-327, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Matteo Acclavio, Lutz Straßburger |
Combinatorial Proofs for Constructive Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 15-36, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Gianluca Grilletti |
Medvedev logic is the logic of finite distributive lattices without top element. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 451-466, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Nicolas Fröhlich, Arne Meier |
Submodel Enumeration of Kripke Structures in Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 391-406, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Rosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai |
Uniform Lyndon interpolation for intuitionistic monotone modal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 77-96, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Willem Conradie, Mattia Panettiere |
Modal inverse correspondence via ALBA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 259-280, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Willem Conradie |
On parametric phenomena in correspondence theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 3-6, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Ahmee Christensen |
Completeness for an Intuitionistic Modal Logic of Vagueness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 177-197, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Denis I. Saveliev, Ilya Shapirovsky |
Medvedev's logic and products of converse well orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 681-696, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Guillermo Badia, Tomasz Kowalski, Daniel Gaina |
Robinson consistency in many-sorted hybrid first-order logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 407-428, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Andrea De Domenico, Giuseppe Greco 0001 |
Algorithmic correspondence and analytic rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 371-389, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Robin Hirsch, Brett McLean |
EXPTIME-hardness of higher-dimensional Minkowski spacetime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022., pp. 491-505, 2022, College Publications, 978-1-84890-413-2. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
53 | Nicola Olivetti, Rineke Verbrugge, Sara Negri, Gabriel Sandu (eds.) |
13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![College Publications, 978-1-84890-341-8 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Stepan L. Kuznetsov |
The 'Long Rule' in the Lambek Calculus with Iteration: Undecidability without Meets and Joins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 425-440, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin |
Modal Logics with Transitive Closure: Completeness, Decidability, Filtration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 369-388, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Melvin Fitting |
About 'Binding Modalities'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 7, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Rajeev Goré, Ian Shillito |
Bi-Intuitionistic Logics: A New Instance of an Old Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 269-288, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Valentin Goranko |
The Modal Logic of Almost Sure Frame Validities in the Finite. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 249-268, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Nina Gierasimczuk |
Learning and Modal Logic: There and Back Again. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 9, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | George Metcalfe, Olim Frits Tuyt |
A Monadic Logic of Ordered Abelian Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 441-457, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Daniyar S. Shamkanov |
Global Neighbourhood Completeness of the Provability Logic GLP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 581-596, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Nick Bezhanishvili, Silvio Ghilardi, Lucia Landi |
Model Completeness and Π2-rules: The Case of Contact Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 115-132, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Guram Bezhanishvili, Luca Carai |
Temporal Interpretation of Intuitionistic Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 95-114, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Andreas Herzig, Elise Perrotin |
On the Axiomatisation of Common Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 309-328, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Mikhail N. Rybakov, Dmitry Shkatov |
Algorithmic Properties of First-Order Modal Logics of the Natural Number Line in Restricted Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 523-539, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Bahareh Afshari |
Cyclic Proof Systems for Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 3, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Luis Estrada-González |
Possibility, Consistency, Connexivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 189-207, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Justin Bledin, Yitzhak Melamed |
Spinozian Model Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 133-147, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Igor Sedlár |
Finitely-Valued Propositional Dynamic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 561-579, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Satoru Niki, Hitoshi Omori |
Actuality in Intuitionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 459-479, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Nick Bezhanishvili |
Filtrations, canonical formulas, and axiomatizations of superintuitionistic and modal logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 5, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Ana de Almeida Borges, Joost J. Joosten |
Quantified Reflection Calculus with One Modality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 13-32, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Fausto Barbero, Fan Yang |
Counterfactuals and Dependencies on Causal Teams: Expressive Power and Deduction Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 73-93, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Philippe Balbiani, Saúl Fernández González |
Indexed Frames and Hybrid Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 53-72, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González |
Quantifying over Asynchronous Information Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 33-52, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Hitoshi Omori, Daniel Skurt |
A Semantics for a Failed Axiomatization of K. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 481-501, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Jedrzej Kolodziejski |
Bisimulational Categoricity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 389-404, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Wesley H. Holliday |
Inquisitive Intuitionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 329-348, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Katsuhiko Sano |
Goldblatt-Thomason-Style Characterization for Intuitionistic Inquisitive Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 541-560, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Hitoshi Omori, Heinrich Wansing |
An Extension of Connexive Logic C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 503-522, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Sara L. Uckelman |
William of Sherwood on Necessity and Contingency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 597-612, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Andrzej Indrzejczak |
Existence, Definedness and Definite Descriptions in Hybrid Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 349-368, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Jonas Forster, Lutz Schröder |
Non-Iterative Modal Logics Are Coalgebraic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 229-248, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Sebastian Enqvist |
A Circular Proof System for the Hybrid μ-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 169-188, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Giulio Fellin, Sara Negri, Peter M. Schuster |
Modal Logic for Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 209-227, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Hirohiko Kushida |
Reduction of Modal Logic and Realization in Justification Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 405-424, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Yifeng Ding, Wesley H. Holliday |
Another Problem in Possible World Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 149-168, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
53 | Jim de Groot, Helle Hvid Hansen, Alexander Kurz 0001 |
Logic-Induced Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AiML ![In: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020., pp. 289-308, 2020, College Publications, 978-1-84890-341-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
41 | Ong Sing Goh, Chun Che Fung |
Intelligent Agent Technology in E-commerce. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning, 4th International Conference, IDEAL 2003, Hong Kong, China, March 21-23, 2003, Revised Papers, pp. 10-17, 2003, Springer, 3-540-40550-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Sang Suh, Stephen Baxter, John Carbone, Patrick H. H. Then |
Cheshire: A New Believable Chat Bot Using AIML, LSA, Emotions from Personalities, and Voice Recognition and Synthesizer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 57th Hawaii International Conference on System Sciences, HICSS 2024, Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January 3-6, 2024, pp. 5237-5245, 2024, ScholarSpace, 978-0-9981331-7-1. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
29 | P. R. Adithya, Dheepak. S, B. Akash, Harshini. V, Sai Lakshana |
Crowd management, crime detection, work monitoring using aiml. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.12621, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Minato Sakuraba, Junichi Kawasaki, Takuya Miyasaka, Atsushi Tagami |
An Anomaly Detection Approach by AIML in IP Networks with eBPF-Based Observability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APNOMS ![In: 24st Asia-Pacific Network Operations and Management Symposium, APNOMS 2023, Sejong, Korea, Republic of, September 6-8, 2023, pp. 171-176, 2023, IEEE, 978-89-950043-9-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
29 | Om Hotkar, Pratheeik Radhakrishnan, Akarsh Singh, Natasha Jhamnani, Ranjeet Vasant Bidwe |
U-Net and YOLO: AIML Models for Lane and Object Detection in Real-Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC3 ![In: Proceedings of the 2023 Fifteenth International Conference on Contemporary Computing, IC3-2023, Noida, India, August 3-5, 2023, pp. 467-473, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | K. RamyaSree, P. Mohankumar |
A Comparative Analysis of Prediction of Brain Stroke Using AIML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDA (2) ![In: Intelligent Systems Design and Applications - 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) Held December 12-14, 2022 - Volume 2, pp. 533-544, 2022, Springer, 978-3-031-35506-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
29 | Jorge Baranda, Josep Mangues-Bafalluy, Engin Zeydan, Claudio Casetti, Carla-Fabiana Chiasserini, Marco Malinverno, Corrado Puligheddu, Milan Groshev, Carlos Guimarães, Konstantin Tomakh, Denys Kucherenko, Oleksii Kolodiazhnyi |
Demo: AIML-as-a-Service for SLA management of a Digital Twin Virtual Network Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM Workshops ![In: 2021 IEEE Conference on Computer Communications Workshops, INFOCOM Workshops 2021, Vancouver, BC, Canada, May 10-13, 2021, pp. 1-2, 2021, IEEE, 978-1-6654-0443-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | I Made Sukarsa, Putu Wira Buana, Urip Yogantara |
Multi Parameter Design in AIML Framework for Balinese Calendar Knowledge Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSII Trans. Internet Inf. Syst. ![In: KSII Trans. Internet Inf. Syst. 14(1), pp. 114-130, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Zhibin Liao, Qi Wu 0001, Chunhua Shen, Anton van den Hengel, Johan Verjans |
AIML at VQA-Med 2020: Knowledge Inference via a Skeleton-based Sentence Mapping Approach for Medical Domain Visual Question Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEF (Working Notes) ![In: Working Notes of CLEF 2020 - Conference and Labs of the Evaluation Forum, Thessaloniki, Greece, September 22-25, 2020., 2020, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
29 | Rhio Sutoyo, Andry Chowanda, Agnes Kurniati, Rini Wongso |
Designing an Emotionally Realistic Chatbot Framework to Enhance Its Believability with AIML and Information States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSCI ![In: Enabling Collaboration to Escalate Impact of Research Results for Society: The 4th International Conference on Computer Science and Computational Intelligence, ICCSCI 2019, 12-13 September 2019, Yogyakarta, Indonesia., pp. 621-628, 2019, Elsevier. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Hiroshi Yamaguchi, Maxim Mozgovoy, Anna Danielewicz-Betz |
A Chatbot Based On AIML Rules Extracted From Twitter Dialogues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS (Communication Papers) ![In: Communication Papers of the 2018 Federated Conference on Computer Science and Information Systems, FedCSIS 2018, Poznań, Poland, September 9-12, 2018., pp. 37-42, 2018, 978-83-952357-0-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | David Ireland, Hamed Hassanzadeh, Son N. Tran |
Sentimental Analysis for AIML-Based E-Health Conversational Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (2) ![In: Neural Information Processing - 25th International Conference, ICONIP 2018, Siem Reap, Cambodia, December 13-16, 2018, Proceedings, Part II, pp. 41-51, 2018, Springer, 978-3-030-04178-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Maxim Mozgovoy, Hiroshi Yamaguchi |
Generating AIML Rules from Twitter Conversations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FedCSIS (Communication Papers) ![In: Communication Papers of the 2017 Federated Conference on Computer Science and Information Systems, FedCSIS 2017, Prague, Czech Republic, September 3-6, 2017., pp. 59-61, 2017, 978-83-922646-2-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | N. T. Thomas |
An e-business chatbot using AIML and LSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICACCI ![In: 2016 International Conference on Advances in Computing, Communications and Informatics, ICACCI 2016, Jaipur, India, September 21-24, 2016, pp. 2740-2742, 2016, IEEE, 978-1-5090-2029-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Yungang Wei, Xiaoming Zhu, Bo Sun 0006, Boying Sun |
Comparative studies of AIML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSAI ![In: 3rd International Conference on Systems and Informatics, ICSAI 2016, Shanghai, China, November 19-21, 2016, pp. 344-349, 2016, IEEE, 978-1-5090-5521-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Wilailuk Sukfong, Sathit Nakkrasae, Preecha Panpipat |
Motor insurance knowledge management in AIML format using tree structured dictionary mechanism and conceptual graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KST ![In: 8th International Conference on Knowledge and Smart Technology, KST 2016, Chiangmai, Thailand, February 3-6, 2016, pp. 158-163, 2016, IEEE, 978-1-4673-8137-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Giovanni De Gasperis, Isabella Chiari, Niva Florio |
AIML Knowledge Base Construction from Text Corpora. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artificial Intelligence, Evolutionary Computing and Metaheuristics ![In: Artificial Intelligence, Evolutionary Computing and Metaheuristics - In the Footsteps of Alan Turing, pp. 287-318, 2013, Springer, 978-3-642-29693-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
29 | Ioannis Doumanis, Serengul Smith |
Beyond Artificial Intelligence Markup Language (AIML) Rapid prototyping of a Q&A system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Environments (Workshops) ![In: Workshop Proceedings of the 9th International Conference on Intelligent Environments, Athens, Greece, July 16-17, 2013, pp. 530-540, 2013, IOS Press, 978-1-61499-285-1. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|