AIML & Prolog

See also: Best AIML Videos



[PDF] The elements of AIML style
[PDF] from uzh.chR Wallace - Alice AI Foundation, 2003 - files.ifi.uzh.ch
... 42 CHAPTER V. PSYCH - Activating Prolog from AIML..... 45 The <system>
command ..... ... 48 ACTIVATING PROLOG FROM AIML ..... ... 
Cited by 46 - Related articles - View as HTML - All 4 versions - Import into BibTeX


The vista architecture: experiencing stories through virtual storytelling agents
E Figa... - ACM SIGGROUP Bulletin, 2002 - portal.acm.org
... The components of the system include a web client with a video/audio agent interface, an HTTP
and media server, a story database (access points to the stories via an index in a library of stories),
AIML scripts, and Prolog knowledge base modules executed by the Jinni Prolog ... 
Cited by 4 - Related articles - BL Direct - All 2 versions - Import into BibTeX


[PDF] Living in cyn: mating aiml and cyc together with program n
[PDF] from cyc.comK Coursey - Resources avalaible at: http://www. daxtron. com, 2004 - cyc.com
... externalcondition method="{sql,lisp,prolog,cycl...}" query="query text in method language"> would
do the same thing as <cyccondition> but for any of the supported target languages. The same
benefits should result but with even wider usage possibilities. AIML methods exist for ... 
Cited by 5 - Related articles - View as HTML - All 6 versions - Import into BibTeX


[PDF] XML-based Agent Scripts and Inference Mechanisms
[PDF] from unt.eduG Sun - 2003 - library.unt.edu
... between AIML and Prolog clauses. In the runtime phase, the QA patterns in Prolog clauses serve
as the underly- ... our chat bot, all these files are loaded into the brain of our bot. An AIML to Prolog
parser is written in Java to convert AIML files to Prolog based clauses. ... 
Related articles - View as HTML - Library Search - All 3 versions - Import into BibTeX


[PDF] The VISTA project: An agent architecture for virtual interactive storytelling
[PDF] from psu.eduE Figa... - TIDSE, 2003 - Citeseer
... The components of the system include a web client with a video/audio agent interface, an HTTP
and media server, a story database (access points to the stories via an index in a library of stories)
[13,14], AIML Programs, and Prolog Knowledge Base Programs executed by the ... 
Cited by 16 - Related articles - View as HTML - All 7 versions - Import into BibTeX


TELECOMMUNICATIONS SERVICES APPARATUS AND METHOD
J Wilson - US Patent App. 12/668,816, 2008 - Google Patents
... In other words, while traditional AI techniques could work within the limited scope of small problem
domains, the techniques would not scale up when applied to more realistic problems, such as
natural language processing. This applies to both AIML and Prolog. ... 
All 2 versions - Import into BibTeX


Author's Name Sun, Guili Document Type Thesis Title XML-Based Agent Scripts and Inference Mechanisms
R Mihalcea... - library.unt.edu
... Keywords, XML, agent, AIML. inference mechanism, prolog, AI, semantic web, Java, client server
architecture. Graduation Date, August 2003. ... In this thesis, we describe a system that converts
the AIML scripts to Prolog clauses and reuses them as part of a knowledge processor. ... 
Cached - Import into BibTeX


[PDF] Learning Interface for Virtual Education
[PDF] from alicebot.orgS MAGHSOUDI, T ARTHANARI - alicebot.org
... 8. CONCLUSIONS By using SAPI, TTS, MS-Agent, [13] and NLP technologies a system was
created using AIML, JAVA and Prolog languages that acts as a virtual teacher, available for
consultation for students continuously over the Internet, answering their questions patiently ... 
Related articles - View as HTML - Import into BibTeX


[PDF] An AIML Interpreter
[PDF] from cvut.czK Sullivan - 2009 - dip.felk.cvut.cz
... With the exception of the special properties of AIML variables mentioned above, they have no
further semantics (like predicates in Prolog or predicate logic). For this reason, this thesis refers
to AIML variables simply as variables. 2.5 Current implementations ... 
Related articles - View as HTML - Import into BibTeX


Supporting reflection in an immersive 3D learning environment based on role-play
N Malzahn, H Buhmes, S Ziebarth... - Sustaining TEL: From ..., 2010 - Springer
... Gen- erally, every AIML topic will generate a jump mark (chapter) within in the video. Fig. ... [6]).
The SQLSpaces implementation offers clients for several programming languages (eg C#, Java,
Prolog) and a generic web service, which eg allows access for LSL scripts. ... 
Related articles - All 2 versions - Import into BibTeX


Knowledge-based conversational agents and virtual storytelling
[PDF] from psu.eduP Tarau... - Proceedings of the 2004 ACM symposium on ..., 2004 - portal.acm.org
... The architecture uses an XML-based Web Interface, RDF-based Semantic Web data,
object-oriented content hierarchies and a Prolog- based natural language and a knowledge
processor. ... Artificial Intelligence Markup Language (AIML). Technical report, 2001. ... 
Cited by 21 - Related articles - All 10 versions - Import into BibTeX


[PDF] Programming the Story: Interactive Storytelling System
[PDF] from informatica.siSK Kim, SH Moon, SY Han... - informatica.si
... AIML is a XML style script language supporting for AI application program, and the Vista system
used AIML interlocked with Prolog. AIML was used in the question- answer relationship applied
to stories, while Prolog was used to generate various action rules. ... 
View as HTML - Import into BibTeX


[CITATION] The Fundamentals of Artificial Intelligence Expert Systems: Manifestations in Dialogue Programs
J Dykstra... - 2001
Related articles - Import into BibTeX


[PDF] Knowledge-Based Systems for Development
[PDF] from tmrfindia.orgPS Sajja... - ... Knowledge Based Sytem: Model, Application & ..., 2010 - tmrfindia.org
... the first Prolog system was developed in 1972 by Alain Colmerauer and Phillipe Roussel.
Packages software like MATLAB, Java Neural Network Simulator (Java NNS) etc. and markup
open sources based tools like Artificial Intelligence Markup Language (AIML) and Project D ... 
Cited by 2 - Related articles - View as HTML - Import into BibTeX


[PDF] Expert System for Epilepsy with Uncertainty
[PDF] from teiher.grE Marakakis, K Vassilakis, E Kalivianakis... - ... machine learning (AIML ..., 2005 - cs.teiher.gr
... In proceedings of the 1st European Workshop on the Assessment of Diagnostic Performance,
Milan, Italy, 7-9 July, 2004. AIML 05 Conference, 19-21 December 2005, CICC, Cairo, Egypt Page
7. [6] Intelligent Systems Laboratory. SICStus Prolog user's manual. ... 
Cited by 4 - Related articles - View as HTML - All 8 versions - Import into BibTeX


Designing artificial personalities using jungian theory
BJ Neubauer - Journal of Computing Sciences in Colleges, 2004 - portal.acm.org
... a database. Like chat bots, they can be programmed using AIML (artificial intelligence
markup language) or even be supported by a Prolog inference engine or similar
AI resources. AIML is an XML grammar. Readers seeking ... 
Cited by 6 - Related articles - Import into BibTeX


[PDF] Conversational Agents as Web Services
[PDF] from psu.eduE Figa... - Proceedings of The International Symosium On Web ... - Citeseer
... LNCS, Springer-Verlag. 15. P. Tarau. The Jinni 2004 Prolog Compiler: a High Performance Java
and .NET based Prolog for Object and Agent Oriented Inter- net Programming. Technical report,
BinNet Corp., 2003. URL: ... 17. R. Wallace. AIML Pattern Matching Simplified. Techni- ... 
Cited by 2 - Related articles - View as HTML - All 4 versions - Import into BibTeX


[PDF] Corpus Linguistics, Machine Learning and Evaluation: Views from Leeds
[PDF] from psu.eduE Atwell, BA Shawar, B Babych, D Elliott... - ... OF LEEDS SCHOOL ..., 2003 - Citeseer
... Page 4. 3 et al 2000), as ALICE/AIML makes no use of such linguistic knowledge in generating
conversation responses. ... To illustrate, a simple Prolog implementation of this approach, which
assumes "relevant context" is just the preceding word, produces the following: ... 
Related articles - View as HTML - BL Direct - All 7 versions - Import into BibTeX


[PDF] First Sinhala chatbot in action
[PDF] from sjp.ac.lkB Hettige... - ... of the 3rd Annual Sessions of Sri ..., 2006 - dscs.sjp.ac.lk
... The entire system has been developed using JAVA and SWI-PROLOG that runs on both Linux
and Windows. ... Artificial Linguistic Internet Computer Entity) is a software robot or program that
you can chat with using natural language [1]. ALLICE uses AIML (Artificial Intelligence ... 
Cited by 2 - Related articles - View as HTML - All 2 versions - Import into BibTeX


[PDF] Offene 3D-Umgebungen als Framework für rollenspielbasierte Lernszenarien
[PDF] from emis.deN Malzahn, H Buhmes, S Ziebarth... - ... this series in order to make ... - subs.emis.de
... Grundsätzlich erzeugt jedes in AIML definierte und durchlaufende Thema ein Kapitel im Video.
Abbildung 1: Screenshot des Reflexionsvideos 53 Page 57. ... Die verwendete Implementierung
bietet native Clients für verschiedene Programmiersprachen (ua C#, Java u. Prolog). ... 
Related articles - View as HTML - Import into BibTeX


[PDF] Knowledge Assimilation and Web Deployment Techniques for Conversational Agents
[PDF] from telecom-paristech.frE Figa... - Proceedings of the AAMAS 2004 Workshop ... - perso.telecom-paristech.fr
... [19] P. Tarau. The Jinni 2004 Prolog Compiler: a High Performance Java and .NET based Prolog
for Object and Agent Oriented Internet Program- ming. Technical report, BinNet Corp., 2004. ... Cam-
bridge University Press. [22] R. Wallace. AIML Pattern Matching Simplified. ... 
Cited by 1 - Related articles - View as HTML - All 3 versions - Import into BibTeX


[PS] Knowledge Intensive Conversational Agents: a Logic Programming Approach
[PS] from imamu.edu.saP Tarau... - imamu.edu.sa
... The architecture uses an XML-based Web Interface, RDF based Semantic Web data,
object-oriented content hierarchies and a Prolog based natural lan- guage and a knowledge
processor. ... 5. ALICE AI foundation. Artificial Intelligence Markup Language (AIML). ... 
Related articles - View as HTML - All 5 versions - Import into BibTeX


[PDF] Domain Knowledge Model for Embodied Conversation Agent
[PDF] from rmit.edu.auGO Sing, CC Fung, A Depickere, KW Wong... - goanna.cs.rmit.edu.au
... Prolog-based conversational agent which integrates more than a GigaByte of knowledge base
data from Open- Domain knowledge base ... Knowledge Extraction Agent (AKEA) [11] and Open-
Domain from existing Artificial Intelligence Markup Language (AIML) Loebner prize ... 
Related articles - View as HTML - All 3 versions - Import into BibTeX


Software Tool for Creating Outlines and Mind Maps that Generates Subtopics Automatically
S Herbst - US Patent App. 20,090/119,584, 2008 - freepatentsonline.com
... Eclipse and then Haley Eclipse, HaleyRules is a rule language with nested LISP-like syntax and
wildcard variables similar to Prolog. ... 4. Artificial Intelligence Markup Language (AIML): Created
between 1995 and 2000, this language is designed for the creation of chat bots ... 
Cached - Import into BibTeX


[DOC] Argelia Berenice Urbina Nájera
[DOC] from pbworks.comMCLF Pulido - Ene, 2009 - hacertesis.pbworks.com
... Mediante Prolog, JAVA y AIML se pudo crear un profesor virtual, disponible para la consulta
de los estudiantes continuamente a través de Internet, respondiendo con paciencia sus
preguntas, dando orientación a través del nuevo curso o material. ... 
Related articles - View as HTML - Import into BibTeX


GAIML: A new language for verbal and graphical interaction in chatbots
R Pirrone, G Russo, V Cannella... - Mobile Information Systems, 2008 - IOS Press
... Then, the AIML language is presented in Section 3. Section 4 describes GAIML. ... The system has
been implemented in Prolog and is based on the Model-View-Control (MVC) software design
paradigm, which inspired the design of the system presented in this work. ... 
Cited by 4 - Related articles - All 7 versions - Import into BibTeX


[PDF] JEP-TALN 2004-session on Arabic Language Processing A Review of Arabic Corpus Analysis Tools Un Examen d'Outils pour l'Analyse de Corpus Arabes
[PDF] from leeds.ac.ukE Atwell, L Al-Sulaiti, S Al-Osaimi... - comp.leeds.ac.uk
... It is a rule-based system written in SICStus Prolog and needs some background in PROLOG
which is difficult to achieve by a typical linguist. ... A java program has been implemented to
convert a readable text (corpus) to the AIML chatbot-training format. ... 
Related articles - View as HTML - All 2 versions - Import into BibTeX


Using XML as a language interface for AI applications
S Tabet, P Bhogaraju... - Advances in Artificial Intelligence. PRICAI ..., 2001 - Springer
... required specialized languages in order to solve problems (eg ART*Enterprise, Blaze Advisor
Rule Engine, JESS, JRules, Lisp, Prolog, TIRS, etc ... Another effort is the Artificial Intelligence Markup
Language (AIML) (The XML Cover Pages 2, http://www.oasis-open.org/cover/aiml ... 
Cited by 9 - Related articles - BL Direct - All 4 versions - Import into BibTeX


Meta-rules and uncertain reasoning for diagnosis of epilepsy in childhood
E Marakakis, K Vassilakis... - Expert Systems with Applications, 2010 - Elsevier
... A preliminary version of this work appears in the Proceeding of the International Conference
on Artificial Intelligence and Machine Learning (AIML-05) (Marakakis, Vassilakis, Kalivianakis,
& ... The rules of our system have been implemented in SICStus Prolog (ISL, 2003). ... 
Related articles - All 3 versions - Import into BibTeX


Fuzzy expert system shell development with computer security assessment application
L Reznik... - ... Conference, 2007. FUZZ-IEEE 2007. IEEE ... - ieeexplore.ieee.org
... The ALICE [17] project makes use of the language-independent nature of XML to defme AIML,
a method of creating brain files that may be used by any one of potentially many different artificially
intelligent systems. ... Java Irterpreter Prolog Inerpreter C++ Inerpreter C# Inerpreter ... 
Cited by 3 - Related articles - Import into BibTeX


The use of the DEMETRA models
E Benfenati, M Craciun... - Quantitative Structure-Activity ..., 2007 - books.google.com
... HISML Solving problems using artificial intelligence (AI) techniques requires various specialized
languages, such as Lisp and Prolog for Logic ... Another effort in this direction is Artificial Intelligence
Markup Language (AIML)(AIML, 2006), an XML-based language used in ALICE ... 
Import into BibTeX


[PDF] Storytelling in collaborative augmented reality environments
[PDF] from psu.eduN Braun - Proceedings of the 11th International Conference in ..., 2003 - Citeseer
... We used several AI-related software packages to develop the story engine (done with Prolog),
as well as the conversational behavior, agentive and manifest ... As a step to better AI within the
actors, we will use the AIML-based Alice chat robots, see Bush [Bus01], to generate the ... 
Cited by 27 - Related articles - View as HTML - All 8 versions - Import into BibTeX


[CITATION] JEP-TALN 2004-session on Arabic Language Processing A Review of Arabic Corpus Analysis Tools
E Atwell, L Al-Sulaiti, S Al-Osaimi...
Related articles - Import into BibTeX


[PDF] Developing Natural Language Enabled Games in (Extended) SCXML
[PDF] from ritsumei.ac.jpJ Brusk... - ... in Computer Games and Simulations (Pre- ..., 2007 - ice.ci.ritsumei.ac.jp
... <state id="chat"> <invoke id="c" target="AIML" src="chat.aiml"/> <transition event ... Our first
suggestion is that the cond attribute of the <transi- tion> element should accept a Prolog style
query rather than an ordinary boolean expression, ie a query that evaluates to true of false (just ... 
Cited by 1 - Related articles - View as HTML - All 2 versions - Import into BibTeX


[PDF] Multiple criteria decision making in accounting expert systems
[PDF] from usc.eduDE O'leary - 6th International Workshop - msbfile03.usc.edu
... section 7 dl section 8 s; 2. Artifi science aiml that take i than comput Expert programs th ... processing
symbolic information, such as natural language. Two of the primary AI languages are Prolog
(Clocksin and Mellish [1984]) and Lisp (Whinston and Horn [1981]). Prolog is the ... 
Cited by 3 - Related articles - View as HTML - All 3 versions - Import into BibTeX


[PDF] DEEP-INFERENCE BIBLIOGRAPHY
[PDF] from psu.eduCBYA GUGLIELMI - Citeseer
... 6, College Publications, 2006, http://www.aiml.net/volumes/volume6/ Bruennler.ps, pp.
107-119. ... pdf, 2006. 36. , On the proof complexity of deep inference-Conjecture, Prolog
program. http://cs.bath.ac.uk/ag/p/ PrComplDI.plg, 2007. 37. ... 
Related articles - View as HTML - All 2 versions - Import into BibTeX


[BOOK] Artificial intelligence: a systems approach
MT Jones - 2008 - books.google.com
... Predicate Logic) 152 Atomic Sentences 153 Compound Sentences 154 Variables 154 Quantifiers
155 First-Order Logic and Prolog 155 Simple ... Virtual Character Agents 357 Entertainment Agents
358 Game Agents 358 ChatterBots 360 Eliza and Parry 360 AIML 361 Mobile ... 
Cited by 36 - Related articles - Library Search - All 5 versions - Import into BibTeX


MPML and SCREAM: Scripting the bodies and minds of life-like characters
H Prendinger, S Saeyor... - Life-Like Characters. Tools, ..., 2004 - books.google.com
... of in- teractive presentations may easily define their own response patterns for the character,
A major drawback of this approach is that AIML-based characters often ... 8. While the sys- tem is
written in Java for portability, a Java-based Prolog system [8] is used to support high-level ... 
Cited by 14 - Related articles - Import into BibTeX


[PDF] Scripting and evaluating affective interactions with embodied conversational agents
[PDF] from psu.eduH Prendinger, J Mori, S Saeyor, K Mori, N Okazaki... - KI, 2004 - Citeseer
... For portability and extensibility, the SCREAM system is written in Java and Jinni, a Java based
Prolog system (BinNet Corp. 2003). ... 2003). The Alicebot provides a large set of responses written
in AIML (Artificial Intelligence Markup Language) that are accessible from the web. ... 
Cited by 4 - Related articles - View as HTML - All 5 versions - Import into BibTeX


Implementing temporal logics: Tools for execution and proof (Tutorial paper)
[PDF] from psu.eduM Fisher - Computational Logic in Multi-Agent Systems, 2006 - Springer
... 1. The first approach, reported in [34], essentially used a Prolog meta-interpreter to implement
the system. ... In Proceedings of Joint International Conference on Temporal Logic and Advances
in Modal Logic (AiML-ICTL), Leipzig, Germany, October 2000. 19. ... 
Cited by 7 - Related articles - BL Direct - All 16 versions - Import into BibTeX


[PS] Analysis and Mechanisation of Decidable First-Order Temporal Logics-A Case for Support
[PS] from liv.ac.ukD Gabbay - csc.liv.ac.uk
... and a member of the steering committee of the in- ternational initiative "Advances in Modal Logic"
(AiML); see http://www.wins.uva/ mdr/aiml. ... As speed is not the primary mo- tivation for these
prototypes, implementation is likely to be in either Prolog (for simplicity) or Java (for ... 
Related articles - View as HTML - Import into BibTeX


[PDF] Conversation System with State Information
[PDF] from utas.edu.auEM Glina... - ecite.utas.edu.au
... systems developed with the RDR base were clearly inferior when comparing the effort that would
be required to build a similar conversation system with an alternative building tool such as AIML,
the very ... 3) D. Merritt, Building Expert Systems In Prolog, Springer-Verlag, (1989). ... 
Related articles - View as HTML - Import into BibTeX


[PDF] Modeling the Dynamics of Knowledge. Two Traditions: Logic Programming vs. Modal Logic Course outline
[PDF] from tu-clausthal.deJ Dix... - 2007 - in.tu-clausthal.de
... Some formalizations (Sudoku, greatest common divisor) are also presented. We also mention
one of the great disadvantages of PROLOG, namely its non-declarativeness and the lack of a
uniform encoding methodology. ... In Advances in Modal Logics, Proceedings of AiML 2002. ... 
Related articles - View as HTML - Import into BibTeX


[CITATION] DAVID COCKBURN NICK R. JENNINGS
NR JENNINGS - Foundations of distributed artificial intelligence, 1996 - Wiley-Interscience
Related articles - Import into BibTeX


Scripting affective communication with life-like characters in web-based interaction systems
[PDF] from psu.eduH Prendinger, S Descamps... - Applied Artificial ..., 2002 - informaworld.com
... to facilitate high-level scripting and connectivity with other Web-based animated agent systems,
the tool is written in a lightweight JAVA-based PROLOG system and ... For a similar purpose, the
Artificial Intelligence Markup Language (AIML) has been developed (Ringate 2001). ... 
Cited by 56 - Related articles - BL Direct - All 11 versions - Import into BibTeX


Evolutionary virtual agent at an exhibition
[PDF] from virtual-worlds.netJC Heudin - Virtual Systems and Multimedia, 2008 - Springer
... The syntax of these knowledge files is close to the Artificial Intelligence Meta Language (AIML)
[9]. The next code example gives an overview of ... Since a human understand people or objects
through interactions, this kind of dialog can be seen as a necessary "prolog" before any ... 
Cited by 2 - Related articles - BL Direct - All 4 versions - Import into BibTeX


Robotic Poetics
W Winder - 2004 - Wiley Online Library
... AI programming languages such as Lisp and Prolog come closest to a pseudo-code for
generation. ... Others are quite sophisticated specifications, such as ALICE and AIML (AI XML),
but do not deal in any direct way with crucial linguistic dimensions. ... 
All 3 versions - Import into BibTeX


[CITATION] Parsing, analyzing, and accessing biomedical text
AT McCray - Proceedings, 52nd Annual Meeting of the American ..., 1989
Cited by 2 - Related articles - Import into BibTeX


Development of pre-programmed operating coursebot (PO'C'DON)
[PDF] from utm.myV Kasinathan - 2008 - eprints.utm.my
... A unique feature of this bot is that it uses an XML DTD called AIML (Artificial Intelligence
Markup Language). Rules for pattern matching can be specified in AIML making it possible
to quickly change the behaviour of the chatterbot. ii Jabberwacky. ... 
Import into BibTeX


The contributing authors of this book provide electronic material. such as software and movie clips, that allows one to try out their character systems or watch ...
H Prendinger - Life-like characters: tools, affective functions, and ..., 2004 - books.google.com
... 11, 405 AiA (Adaptive Communication As- sistant for Effective Infobahn Access). 10, 381 AIML
(Artificial Intelligence Markup Language), 215, 228 AML (Avatar Markup Language). ... 257
Presentation goal. 380 task, 380 team, 383-391 Prolog, 88, 213 Q language. ... 
Import into BibTeX


[CITATION] KNOWLEDGE REPRESENTATION FOR VERSATILE HYBRID INTELLIGENT PROCESSING APPLIED IN PREDICTIVE TOXICOLOGY
D NEAGU, M CRACIUN... - Life science data ..., 2006 - World Scientific Pub Co Inc
Related articles - Import into BibTeX


[PDF] ROBERT MATEESCU
[PDF] from psu.eduCO In... - cell - Citeseer
... 2002 - 2003, Organizer of the Artificial Intelligence and Machine Learning Seminar
(AIML), University of California, Irvine. ... TECHNICAL KNOWLEDGE PROGRAMMING
LANGUAGES: C++, C, Java, Pascal, Prolog, Lisp, SQL, Perl. ... 
View as HTML - Import into BibTeX


[PDF] Practical Reasoning Approaches for Web Ontologies and Multi-Agent Systems
[PDF] from psu.eduR Schmidt... - Citeseer
... involved with the organisation of a number of international and national scientific initiatives,
conferences or workshops: the AiML Initiative (steering committee), AiML 2004 (local ... In task 1.4
we will not limit our investigation to rule specifications in Datalog, Horn logic or Prolog. ... 
Related articles - View as HTML - All 4 versions - Import into BibTeX


[PDF] A human-computer dialogue authoring system for Web interaction
[PDF] from psu.eduK Boone - 2000 - Citeseer
... effectively. This section discusses CARTMAN's three pattern-matching tools: regular
expression matching, 'augmented' regular expression matching (a custom
pattern-matching language) and Prolog goal matching. Although ... 
Cited by 2 - Related articles - View as HTML - All 3 versions - Import into BibTeX


[PDF] Natürliche Sprache als dialogorientier dialogorientierte Nutzer te Nutzer te Nutzer-schnittstelle für autonome Anwendungssysteme-Ein einführender Überblick
[PDF] from fh-stralsund.deT Wengerek, FH Stralsund... - Wissenschaftliche ... - fh-stralsund.de
... Darüber hinaus werden auch ex- terne Programme und Programmiersprachen für
Spezialaufgaben eingebunden, zB Prolog für logi- sches ... Systeme, insbesondere die
Kommerziellen verfolgen den heuristisch-pragmati- schen Ansatz, siehe zB "Alicebot-AIML "[ ... 
View as HTML - All 2 versions - Import into BibTeX


[PDF] Python Applications in Artificial Intelligence Research
[PDF] from psu.eduDG Taylor - 2009 - Citeseer
... In practice it reminds me of Prolog. The included demo builds a semantic network of
facts and rules about a few animals and produces a few example queries. ... 10. PyAIML -
A Python AIML Interpreter <http://pyaiml.sourceforge.net> 11. ... 
View as HTML - All 10 versions - Import into BibTeX


ArticlesAn approach for ontology development and assessment using a quality framework
L Rao, H Reichgelt... - ... Research & Practice, 2009 - palgrave-journals.com
... The AIML fundamental constructs and their relationships (Zhang et al., 2007). ... Fox & Gruninger
(1998) proposed the use of first-order logic for defining the semantics of the terms and a set of
Prolog axioms for implementing the semantics, which allows for the automatic deduction ... 
Cited by 1 - Related articles - All 6 versions - Import into BibTeX


[PDF] Scripting Affective Communication with Life-like Characters in Web-based Interaction Systems
[PDF] from psu.eduHPSDM Ishizuka - Citeseer
... order to facilitate high-level scripting and connectivity with other web-based animated agent
systems, the tool is written in a lightweight Java based Prolog system and ... For a similar purpose,
the Artificial Intelligence Markup Language (AIML) has been developed (Ringate, 2001). ... 
Related articles - View as HTML - All 4 versions - Import into BibTeX


[PDF] Exemplarische Einführung in die Künstliche Intelligenz Arbeitstitel: Wissensbasierte Systeme
[PDF] from fh-deggendorf.deJ Schneeberger - bw.fh-deggendorf.de
... Chatbots..... 83 8.2 Charakteristika von Chatbots..... 84 8.3 AIML
(Artificial Intelligence Markup Language).... 84 ... 
Related articles - View as HTML - All 2 versions - Import into BibTeX


[PDF] GNU/Linux AI & Alife HOWTO
[PDF] from manybooks.netJ Eikenberry - manybooks.net
... At its roots are programming languages such as Lisp and Prolog. ... Aleph is an ILP algorithm
implemented in Prolog by Dr Ashwin Srinivasan at the Oxford University Computing Laboratory,
and is written specifically for compilation with the YAP Prolog compiler ... 
Cited by 2 - Related articles - View as HTML - All 6 versions - Import into BibTeX


A knowledge-based system for automated assembly planning
HK Tonshoff, E Menzel... - CIRP Annals-Manufacturing Technology, 1992 - Elsevier
... The optimum assembly sequence is finally selected using the organisatory rules. The program
system was coded in the programming language PROLOG and implemented on a
DEC-Micro-VAXn computer. ... The programming language used in our example is AiML. ... 
Cited by 24 - Related articles - All 2 versions - Import into BibTeX


[PDF] Mapeamento de Atributos Complexos e Multivalorados na Extração de Esquemas Utilizando XML
[PDF] from ufpr.brJSP Pinto - 2001 - dspace.c3sl.ufpr.br
Page 1. JOSÉ SIMÃO DE PAULA PINTO MAPEAMENTO DE ATRIBUTOS
COMPLEXOS E MULTIVALORADOS NA EXTRAÇÃO DE ESQUEMAS UTILIZANDO
XML Dissertação apresentada como requisito parcial à obtenção ... 
Cited by 2 - Related articles - View as HTML - All 2 versions - Import into BibTeX


[HTML] Research Activities
[HTML] from tu-dresden.deM Sturm... - lat.inf.tu-dresden.de
... instantiated with the action calculi developed in the afore-mentioned steps can then be
implemented by combining the mature technologies of both plain prolog and description logic ...
In Proceedings of the Workshop Advances in Modal Logic AiML 2000, Leipzig, Germany, 2000. ... 
Related articles - Cached - Import into BibTeX


[PDF] Agent Communicability in Belief Update Logic
[PDF] from unito.itM Kobayashi... - Proc. the 6th International Workshop on Declarative ... - di.unito.it
Page 1. Agent Communicability in Belief Update Logic Mikito Kobayashi and Satoshi Tojo School
of Information and Science, Japan Advanced Institute of Science and Technology, 1-1 Asahidai,
Nomi, Ishikawa 923-1292, Japan {m-kobaya,tojo}@jaist.ac.jp Abstract. ... 
Cited by 1 - Related articles - View as HTML - Import into BibTeX


[PDF] Adding XML to the MIS Curriculum: Lessons from the Classroom
[PDF] from psu.eduWP Wagner, V Pant... - Journal of Information Technology ..., 2008 - Citeseer
... by the W3C in February 1998, over 200 new XML languages have been established, with
everything from Astronomical Instrument Markup Language (AIML) to Theological ... This is
referenced in the prolog of Figure 3. A sample of how this might be used is illustrated in Figure ... 
Related articles - View as HTML - All 12 versions - Import into BibTeX


[PDF] Towards an efficient relational deductive system for propositional non-classical logics?
[PDF] from uniba.itA Formisano... - cilc2006.di.uniba.it
Page 1. Towards an efficient relational deductive system for propositional
non-classical logics? Andrea Formisano?? and Marianna Nicolosi Asmundo???
Abstract. We describe a relational framework that uniformly supports ... 
Related articles - View as HTML - All 2 versions - Import into BibTeX


[PS] Feature Integration in Requirements Engineering Working Group 23531
[PS] from bham.ac.ukM Ryan - 1999 - cs.bham.ac.uk
... among them: 13th International Workshop on Algebraic Development Techniques (WADT'98),
2nd International Workshop on Advances in Modal Logic (AiML'98), 25th ... From a pragmatic point
of view, we are looking for de ning for executable speci cations (in the Prolog style) di ... 
Related articles - View as HTML - Import into BibTeX


Logical knowledge representation of regulatory relations in biomedical pathways
S Zambach... - Information Technology in Bio-and Medical ..., 2010 - Springer
... these models, have lead to suggest less complex models, as for instance in [5]. This simpler model
makes it possible to reason qualitatively about existing pathways leading to a rough flux-balance
analysis similar to MetaCyc [1] and BioSim [6], which uses Prolog and qualitative ... 
Related articles - All 3 versions - Import into BibTeX


[PDF] Corpus Linguistics and Language Learning
[PDF] from leeds.ac.ukES Atwell - 2008 - comp.leeds.ac.uk
... of the words in question. The paper describes a Prolog implementation and some applications. ...
Atwell 2005). The AIML chatbot architecture requires a set of input-reply patterns or templates,
which allow the chatbot to find an appropriate response to any user input. ... 
Related articles - View as HTML - All 2 versions - Import into BibTeX


[PDF] Agent Mediated Interactive Storytelling in Virtual Environment
[PDF] from 155.69.101.53Y CAI - 155.69.101.53
Page 1. Nanyang Technological University Agent Mediated Interactive Storytelling in Virtual
Environment by YUNDONG CAI Supervisor: Dr. Chunyan Miao Co-supervisor: Dr. Ah-Hwee
Tan Report Submitted to the School of Computer Engineering of the ... 
Related articles - View as HTML - Import into BibTeX


[PDF] Knowledge Fusion for Financial Advisory Applications
[PDF] from psu.eduTP Dobrowiecki, G Strausz... - 2000 - Citeseer
... T-030586, and belongs to the IKMA IKF-H prolog research. ... xfrml.html [31] Trading Partner
Agreement Markup Language (tpaML), http://www.oasis -open.org/cover/tpa.html [32] Artificial
Intelligence Mark-up Language (ALICE), http://www.oasis -open.org/cover/aiml- ALICE.html 
Related articles - View as HTML - All 7 versions - Import into BibTeX


[BOOK] Introduction to Artificial Intelligence
W Ertel - 2011 - books.google.com
... 65 5 Logic Programming with PROLOG . . . . . 67 5.1 PROLOGSystemsandImplementations . .
. . . ... 282 11.4 LimitationsofLogic . . . . . 283 11.5 PROLOG . . . . . ... 
Related articles - Import into BibTeX


[PDF] "UM CHATTERBOT PARA AQUISIÇÃO AUTOMÁTICA DE PERFIL DO USUÁRIO
[PDF] from ufpe.brTJM Moura - liber.ufpe.br
... O chatterbot foi implementado como uma extensão da linguagem AIML (Artificial Intelligence
Markup Language), uma das mais bem sucedidas abordagens para construção de chatterbots
no ... The chatterbot was implemented in AIML (Artificial Intelligence Markup Language), ... 
Related articles - View as HTML - Import into BibTeX


[PDF] Sistemas Multiagentes na Construçao de um Middleware para Suporte a Ambientes Computacionais
[PDF] from ufabc.edu.brAF de Moraes Batista - bcc.ufabc.edu.br
... 102 5.2.1 Linguagem AIML: Modelo de Usuário e de Dominio . . . . . 104 ... 105
5.2.3 JadeGateway: Camada Intermediária entre Usuário e Chatterbot . . 106
5.2.4 Rebecca AIML: Elemento de Execuç˜ao . . . . . 106 ... 
Related articles - View as HTML - Import into BibTeX


[BOOK] Grundkurs Künstliche Intelligenz: Eine praxisorientierte Einführung. Online-Service
[PDF] from hs-weingarten.deW Ertel - 2009 - books.google.com
... Inhaltsverzeichnis Logikprogrammierung mit PROLOG 75 5.1 PROLOG-Systeme und
Implementierungen 76 5.2 Einfache Beispiele 76 5.3 Ablaufsteuerung und prozedurale Elemente
80 5.4 Listen 81 5.5 Selbstmodifizierende Programme 83 5.6 Ein Planungsbeispiel 84 5.7 ... 
Cited by 10 - Related articles - Library Search - All 7 versions - Import into BibTeX


A Multi-Agent Based Personalized Meta-Search Engine Using Automatic Fuzzy Concept Networks
B Arzanian, F Akhlaghian... - 2010 Third International ..., 2010 - computer.org
... results. REFERENCES [1] E. Bolognesi, and A. Brogi, "A prolog meta-search engine
for the world wide web," Proc. Inter. ... ICGST International Conf. on Artificial Intelligence
and Machine Learning (AIML-05), Cairo, Egypt, 2005. [4 ... 
Related articles - All 3 versions - Import into BibTeX


[BOOK] Web-kommunikation mit opensource: chatbots, virtuelle messen, rich-media-content
C Möbus, J Feindt, C Janssen, S Sölbrandt... - 2005 - books.google.com
... 147 13.2 Open-Source-Chatbots 151 13.2.1 Selbstlernende Chatbot-Systeme 151 13.2.2
AIML-Chatbots 152 13.3 ALICE 153 13.3.1 Kompetenzerwerb durch Supervised Learning 153
13.3.2 ALICE-Server 154 13.3.3 Verarbeitung der natürlichen Sprache 156 13.3.4 Web ... 
Cited by 2 - Related articles - Library Search - All 5 versions - Import into BibTeX


[PDF] Implementação do chatterbot ELIZA na linguagem multiparadigma Oz
[PDF] from ufsc.brA Mittmann - projetos.inf.ufsc.br
... Pascal e C são representantes do mesmo paradigma, o chamado paradigma imperativo de
programação, enquanto Prolog é um exemplo de uma linguagem que segue o paradigma ... Esta
lin- guagem, batizada de AIML (Artificial Intelligence Markup Language ), é baseada no ... 
Related articles - View as HTML - All 2 versions - Import into BibTeX


Computation as Conversation
[PDF] from uva.nlJ Van Benthem - ... Paradigms: Changing Conceptions of What is ..., 2007 - books.google.com
Page 44. Computation as Conversation Johan van Benthem Institute for Logic, Language &
Computation (ILLC), University of Amsterdam, Amsterdam, the Netherlands johan@ science.
uva. nl and Department of Philosophy, Stanford University, Stanford, CA, USA johan@ csli. ... 
Cited by 12 - Related articles - Library Search - All 12 versions - Import into BibTeX


[PDF] Welcome to PLANET NEWS!
[PDF] from dfki.deS Biundo... - 2003 - planet.dfki.de
Page 1. The PLANET Newsletter 1 Issue No.2 EDITORIAL Welcome to PLANET NEWS! During
the last couple of months a variety of net- work activities and events took place. Most importantly,
the First International Sum- mer School on AI Planning was held. ... 
Related articles - View as HTML - All 5 versions - Import into BibTeX


Hybride, pragmatisch eingebettete Realisierung mittels Bottom-Up-Generierung in einem natürlichsprachlichen Dialogsystem Hybrid Pragmatically Embedded ...
[PDF] from uni-erlangen.deM Klarner - Doktorarbeit, Universität Erlangen-Nürnberg, 2005 - opus.ub.uni-erlangen.de
... Page 13. xi ABKÜRZUNGSVERZEICHNIS AIML Artificial Intelligence Markup Language,
Markup-Sprache für Künstliche Intelligenz ... DAG Directed Acyclic Graph, gerichteter azyklischer
Graph DCG Definite Clause Grammar, einfacher Prolog-basierter Grammatikformalismus ... 
Cited by 6 - Related articles - Library Search - All 4 versions - Import into BibTeX


Computation as conversation
J Benthem - New Computational Paradigms, 2008 - Springer
Page 1. Computation as Conversation Johan van Benthem Institute for Logic, Language
& Computation (ILLC), University of Amsterdam, Amsterdam, the Netherlands
johan@science.uva.nl and Department of Philosophy, Stanford ... 
Related articles - All 4 versions - Import into BibTeX


[PDF] Modal logic for open minds
[PDF] from fenrong.netJ Van Benthem - Center for the Study of Language and Information, 2010 - fenrong.net
... will often be cited in this book. In ad- dition, there are web resources like
http://www.aiml.net/, as well as many relevant entries in the Stanford Encyclopedia
of Philosophy (http://plato.stanford.edu/). Still, I felt there was room for ... 
Cited by 11 - Related articles - View as HTML - Library Search - All 3 versions - Import into BibTeX


Using temporal logics of knowledge for specification and verification--a case study
C Dixon - Journal of Applied Logic, 2006 - Elsevier
Cited by 5 - Related articles - All 2 versions - Import into BibTeX


[BOOK] Die Valentinianische Gnosis und die heilige Schrift: Eine Studie
[HTML] from google.comCFG Heinrici - 1871 - books.google.com
Page 1. Die Valentinianische Gnosis und die heilige Schrift Carl Friedrich Georg Heinrici Page
2. Page 3. \ ¦ < I Page 4. I I Page 5. DIE VALENTINIANISCHE GNOSIS UND DIE HEILIGE
SCHRIFT. EINE STUDIE VON Lic. Dr. GEORG HEINRICI. BERLIN. ... 
Library Search - All 2 versions - Import into BibTeX


Traitement de l'hétérogénéité sémantique dans les interactions humain-agent et agent-agent
[PDF] from archives-ouvertes.frL Mazuel - 2008 - tel.archives-ouvertes.fr
Page 1. Université Paris VI - Pierre & Marie Curie Laboratoire Informatique de Paris 6 Thèse
présentée par Laurent MAZUEL pour obtenir le grade de Docteur de l'Université Pierre & Marie
Curie Spécialité Informatique Traitement de l'hétérogénéité sémantique dans les ... 
Cited by 2 - Related articles - All 10 versions - Import into BibTeX


[BOOK] Goethes Faust: Erster [-zweiter] theil. Erläutert
[HTML] from google.comH Düntzer - 1889 - books.google.com
... Erläuterung des ersten Theiles. Zueignung 59 Vorspiel auf dem Theater 61 Prolog im Himmel
69 Der Tragödie erster Theil. Ringen nach höchster Eilenntniß 7" Verbindung mit
Mephistopheles Zwei Reisefahrten Die Tragödie von Faust und Gretchen. ... 
Import into BibTeX


[DOC] XML: The Future of The World Wide Web
[DOC] from imamu.edu.saE Agarwal - imamu.edu.sa
... AF, The band of frequencies (approximately 20 Hz to 20 kHz) that, when transmitted as
acoustic waves, can be heard by the normal human ear. AIML, Astronomical Instrument
Markup Language. Amaya, Amaya is a browser/authoring tool. ... 
Cited by 3 - Related articles - View as HTML - All 3 versions - Import into BibTeX


New Architectures, Algorithms and Designs that Lead to Implemented Machine Reasoning over Knowledge in Epistemic and Deontic Formats, in the Service of ...
[PDF] from dtic.milS Bringsjord - 2006 - DTIC Document
Page 1. AFRL-IF-RS-TR-2006-264 Final Technical Report August 2006 NEW ARCHITECTURES,
ALGORITHMS AND DESIGNS THAT LEAD TO IMPLEMENTED MACHINE REASONING OVER
KNOWLEDGE IN EPISTEMIC AND DEONTIC FORMATS, IN THE ... 
Cited by 2 - Related articles - Library Search - All 3 versions - Import into BibTeX


On the proof complexity of deep inference
[PDF] from arxiv.orgP Bruscoli... - ACM Transactions on Computational Logic ..., 2009 - portal.acm.org
Page 1. 14 On the Proof Complexity of Deep Inference PAOLA BRUSCOLI and
ALESSIO GUGLIELMI University of Bath We obtain two results about the proof
complexity of deep inference: (1) Deep-inference proof systems are ... 
Cited by 37 - Related articles - All 14 versions - Import into BibTeX


[PDF] Editor para a Web Semântica Integrando Anotaçoes Semânticas, Ontologias e RDF
[PDF] from ubi.ptRARG Pereira - floyd.di.ubi.pt
... tica, todas as abreviaturas utilizadas nesta dissertaç˜ao: ADOdb : ActiveX Data Object Data Base.
AIML : Astronomical Instrument Markup Language. AML : Astronomical markup Language. ANSI :
American National Standards Institute. API : Application Programming Interface. ... 
Related articles - View as HTML - All 5 versions - Import into BibTeX


Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae
[PDF] from arxiv.orgP Bruscoli, A Guglielmi, T Gundersen... - Arxiv preprint arXiv: ..., 2009 - arxiv.org
Page 1. QUASIPOLYNOMIAL NORMALISATION IN DEEP INFERENCE VIA ATOMIC
FLOWS AND THRESHOLD FORMULAE PAOLA BRUSCOLI, ALESSIO GUGLIELMI,
TOM GUNDERSEN, AND MICHEL PARIGOT Abstract. ... 
Cited by 4 - Related articles - All 7 versions - Import into BibTeX


[BOOK] Druckstücke aus dem 15. Jahrhundert im Chorstifte Beuerberg
[HTML] from google.comP Hupfauer - 1794 - books.google.com
Page 1. Page 2. Page 3. >< /v °^" L,".,t>!b,i """," l Ä>v Page 4. ,-"j ', ^ ," M ''.'' i/i/<^^ -
7^5^^ Page 5. Page 6. ',^ "V Page 7. Druwcke aus dem XV. Jahrhunderte, welche sich
in der Bibliothek des regulirtm Chorstiftes Beuerberg befinden. ... 
Import into BibTeX


[PDF] Encoding two-valued non-classical logics
[PDF] from lmu.deHJ Ohlbach, A Nonnengart, M de Rijke... - pms.ifi.lmu.de
Page 1. ChaptER 1 Encoding two-valued non-classical logics in classical logic
Hans Jüurgen Ohlbach Andreas Nonnengart Maarten de Rijke Dov M. Gabbay
Contents 1 Introduction . . . . . 3 1.1 Expressive power . . . . . ... 
Related articles - View as HTML - All 6 versions - Import into BibTeX


[BOOK] Les Oeuvres de François Rabelais augmentées de la vie de l'auteur et de quelques remarques sur sa vie et sur l'histoire
[HTML] from google.comF Rabelais - 1721 - books.google.com
... invincible > ftbrejfe nompareillf, conten- tsment.certain , ajjeurartce pdrfai:t, defpris*ment incrtyable
de tint it penrquoy les bumaim tant itesU Page 25. prolog u r. xelUtnt^ ceurent %ttr*oaiUent,
navigent, &* ba* taillenu Aqntlpropost d vostre advis t tend ce prelude, 0- ceufd'tjsay ? ... 
Related articles - All 2 versions - Import into BibTeX