| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 94 | Mikako Kimura, Yasuhiko Kitamura |
Embodied Conversational Agent Based on Semantic Web.  |
PRIMA  |
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. |
ICTAI |
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. |
IBERAMIA |
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. |
AAMAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 61 | Tina Klüwer |
RMRSBot - Using Linguistic Information to Enrich a Chatbot. |
IVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 53 | Cordula Boden, Jessika Fischer, Kathrin Herbig, Ulrike Spierling |
CitizenTalk: Application of Chatbot Infotainment to E-Democracy. |
TIDSE |
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. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Krisztina Fruzsa, Roman Kuznets, Hans van Ditmarsch |
A New Hope. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Eugenio Orlandelli, Matteo Tesi |
Labelled sequent calculi for logics of strict implication. |
AiML |
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. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Philippe Balbiani, Quentin Gougeon |
Projective unification through duality. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Satoru Niki |
Intuitionistic Modality and Beth Semantics. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Tiziano Dalmonte |
Wijesekera-style constructive modal logics. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Ivano Ciardelli |
Describing neighborhoods in inquisitive modal logic. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Amirhossein Akbar Tabatabai |
Provability Logics of Hierarchies. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Balder ten Cate, Raoul Koudijs, Johan van Benthem |
Local Dependence and Guarding. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Inmaculada Perez de Guzmán, Antonio Yuste-Ginel, Alfredo Burrieza |
A multi-modal logic for Galois connections. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Mattia Panettiere, Apostolos Tzimoulis |
Graded modal logic with a single modality. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Jan Rooduijn, Lukas Zenger |
An analytic proof system for common knowledge logic over S5. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Hiroakira Ono, Katsuhiko Sano |
Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | George Metcalfe, Naomi Tokuda, Petr Cintula |
Algebraic Semantics for One-Variable Lattice-Valued Logics. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Anupam Das 0002, Sonia Marin |
Modal logic and the polynomial hierarchy: from QBFs to K and back. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Wesley H. Holliday |
Non-classical modal logic for natural language. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Francesca Poggiolesi |
Explanations in logic. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Guillaume Massas |
Choice-Free de Vries Duality. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Ruba Alassaf, Renate A. Schmidt, Uli Sattler |
Saturation-Based Uniform Interpolation for Multi-Modal Logics. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Wesley H. Holliday |
Compatibility and accessibility: Lattice representations for semantics of non-classical and modal logics. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Igor Sedlár, Pietro Vigiani |
Relevant Reasoners in a Classical World. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Yanjing Wang 0001, Yunsong Wang, Haoyu Wang |
An Epistemic Interpretation of Tensor Disjunction. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Ian Shillito, Rajeev Goré |
Direct elimination of additive-cuts in GL4ip: verified and extracted. |
AiML |
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. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Jim de Groot |
Goldblatt-Thomason Theorems for Modal Intuitionistic Logics. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Philippe Balbiani, Saúl Fernández González |
Parametrized modal logic I: An introduction. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Lutz Straßburger, Matteo Tesi, Agata Ciabattoni |
Taming Bounded Depth with Nested Sequents. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Tiziano Dalmonte, Marianna Girlando |
Comparative plausibility in neighbourhood models: axiom systems and sequent calculi. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Matteo Acclavio, Lutz Straßburger |
Combinatorial Proofs for Constructive Modal Logic. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Gianluca Grilletti |
Medvedev logic is the logic of finite distributive lattices without top element. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Nicolas Fröhlich, Arne Meier |
Submodel Enumeration of Kripke Structures in Modal Logic. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Rosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai |
Uniform Lyndon interpolation for intuitionistic monotone modal logic. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Willem Conradie, Mattia Panettiere |
Modal inverse correspondence via ALBA. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Willem Conradie |
On parametric phenomena in correspondence theory. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Ahmee Christensen |
Completeness for an Intuitionistic Modal Logic of Vagueness. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Denis I. Saveliev, Ilya Shapirovsky |
Medvedev's logic and products of converse well orders. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Guillermo Badia, Tomasz Kowalski, Daniel Gaina |
Robinson consistency in many-sorted hybrid first-order logics. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Andrea De Domenico, Giuseppe Greco 0001 |
Algorithmic correspondence and analytic rules. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 53 | Robin Hirsch, Brett McLean |
EXPTIME-hardness of higher-dimensional Minkowski spacetime. |
AiML |
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. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Stepan L. Kuznetsov |
The 'Long Rule' in the Lambek Calculus with Iteration: Undecidability without Meets and Joins. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin |
Modal Logics with Transitive Closure: Completeness, Decidability, Filtration. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Melvin Fitting |
About 'Binding Modalities'. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Rajeev Goré, Ian Shillito |
Bi-Intuitionistic Logics: A New Instance of an Old Problem. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Valentin Goranko |
The Modal Logic of Almost Sure Frame Validities in the Finite. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Nina Gierasimczuk |
Learning and Modal Logic: There and Back Again. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | George Metcalfe, Olim Frits Tuyt |
A Monadic Logic of Ordered Abelian Groups. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Daniyar S. Shamkanov |
Global Neighbourhood Completeness of the Provability Logic GLP. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Nick Bezhanishvili, Silvio Ghilardi, Lucia Landi |
Model Completeness and Π2-rules: The Case of Contact Algebras. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Guram Bezhanishvili, Luca Carai |
Temporal Interpretation of Intuitionistic Quantifiers. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Andreas Herzig, Elise Perrotin |
On the Axiomatisation of Common Knowledge. |
AiML |
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. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Bahareh Afshari |
Cyclic Proof Systems for Modal Logics. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Luis Estrada-González |
Possibility, Consistency, Connexivity. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Justin Bledin, Yitzhak Melamed |
Spinozian Model Theory. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Igor Sedlár |
Finitely-Valued Propositional Dynamic Logic. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Satoru Niki, Hitoshi Omori |
Actuality in Intuitionistic Logic. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Nick Bezhanishvili |
Filtrations, canonical formulas, and axiomatizations of superintuitionistic and modal logics. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Ana de Almeida Borges, Joost J. Joosten |
Quantified Reflection Calculus with One Modality. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Fausto Barbero, Fan Yang |
Counterfactuals and Dependencies on Causal Teams: Expressive Power and Deduction Systems. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Philippe Balbiani, Saúl Fernández González |
Indexed Frames and Hybrid Logics. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González |
Quantifying over Asynchronous Information Change. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Hitoshi Omori, Daniel Skurt |
A Semantics for a Failed Axiomatization of K. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Jedrzej Kolodziejski |
Bisimulational Categoricity. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Wesley H. Holliday |
Inquisitive Intuitionistic Logic. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Katsuhiko Sano |
Goldblatt-Thomason-Style Characterization for Intuitionistic Inquisitive Logic. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Hitoshi Omori, Heinrich Wansing |
An Extension of Connexive Logic C. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Sara L. Uckelman |
William of Sherwood on Necessity and Contingency. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Andrzej Indrzejczak |
Existence, Definedness and Definite Descriptions in Hybrid Modal Logic. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Jonas Forster, Lutz Schröder |
Non-Iterative Modal Logics Are Coalgebraic. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Sebastian Enqvist |
A Circular Proof System for the Hybrid μ-Calculus. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Giulio Fellin, Sara Negri, Peter M. Schuster |
Modal Logic for Induction. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Hirohiko Kushida |
Reduction of Modal Logic and Realization in Justification Logic. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Yifeng Ding, Wesley H. Holliday |
Another Problem in Possible World Semantics. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 53 | Jim de Groot, Helle Hvid Hansen, Alexander Kurz 0001 |
Logic-Induced Bisimulations. |
AiML |
2020 |
DBLP BibTeX RDF |
|
| 41 | Ong Sing Goh, Chun Che Fung |
Intelligent Agent Technology in E-commerce. |
IDEAL |
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. |
HICSS |
2024 |
DBLP BibTeX RDF |
|
| 29 | P. R. Adithya, Dheepak. S, B. Akash, Harshini. V, Sai Lakshana |
Crowd management, crime detection, work monitoring using aiml. |
CoRR |
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. |
APNOMS |
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. |
IC3 |
2023 |
DBLP DOI BibTeX RDF |
|
| 29 | K. RamyaSree, P. Mohankumar |
A Comparative Analysis of Prediction of Brain Stroke Using AIML. |
ISDA (2) |
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. |
INFOCOM Workshops |
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. |
KSII Trans. Internet Inf. Syst. |
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. |
CLEF (Working Notes) |
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. |
ICCSCI |
2019 |
DBLP DOI BibTeX RDF |
|
| 29 | Hiroshi Yamaguchi, Maxim Mozgovoy, Anna Danielewicz-Betz |
A Chatbot Based On AIML Rules Extracted From Twitter Dialogues. |
FedCSIS (Communication Papers) |
2018 |
DBLP DOI BibTeX RDF |
|
| 29 | David Ireland, Hamed Hassanzadeh, Son N. Tran |
Sentimental Analysis for AIML-Based E-Health Conversational Agents. |
ICONIP (2) |
2018 |
DBLP DOI BibTeX RDF |
|
| 29 | Maxim Mozgovoy, Hiroshi Yamaguchi |
Generating AIML Rules from Twitter Conversations. |
FedCSIS (Communication Papers) |
2017 |
DBLP DOI BibTeX RDF |
|
| 29 | N. T. Thomas |
An e-business chatbot using AIML and LSA. |
ICACCI |
2016 |
DBLP DOI BibTeX RDF |
|
| 29 | Yungang Wei, Xiaoming Zhu, Bo Sun 0006, Boying Sun |
Comparative studies of AIML. |
ICSAI |
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. |
KST |
2016 |
DBLP DOI BibTeX RDF |
|
| 29 | Giovanni De Gasperis, Isabella Chiari, Niva Florio |
AIML Knowledge Base Construction from Text Corpora. |
Artificial Intelligence, Evolutionary Computing and Metaheuristics |
2013 |
DBLP DOI BibTeX RDF |
|
| 29 | Ioannis Doumanis, Serengul Smith |
Beyond Artificial Intelligence Markup Language (AIML) Rapid prototyping of a Q&A system. |
Intelligent Environments (Workshops) |
2013 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license