Automated Reasoning & Dialog Systems


Automated Reasoning

See also:

Case-based Reasoning & Dialog Systems | Pellet Reasoner & Dialog Systems | Semantic Reasoners & Dialog Systems


Recognizing entailment in intelligent tutoring systems. RD Nielsen, W Ward, JH Martin – Natural Language …, 2009 – Cambridge Univ Press Page 1. Natural Language Engineering 15 (4): 479–501. c Cambridge University Press 2009 doi:10.1017/S135132490999012X 479 Recognizing entailment in intelligent tutoring systems ? RODNEY D. NIELSEN1,2, WAYNE … Cited by 24 Related articles All 18 versions Cite Save

Applying automated deduction to natural language understanding J Bos – Journal of Applied Logic, 2009 – Elsevier … But more crucially, from an automated reasoning point of view, almost all semantic phenomena are formalised in higher-order logic (a trend … The second is a spoken dialogue system, interfaced to a mobile robot and an automated home environment, that uses theorem proving … Cited by 8 Related articles All 5 versions Cite Save

MEGA: Resource-Adaptive Processes in an Automated Reasoning System S Autexier, C Benzmüller, D Dietrich… – Resource-adaptive …, 2010 – Springer … ?MEGA: Resource-Adaptive Processes in an Automated Reasoning System 393 … cognitive archi- tectures and multi-agent systems, human computer interaction and user interfaces, as well as machine learning, intelligent tutor systems and finally dialog systems with natural … Cited by 3 Related articles All 9 versions Cite Save

Interfacing virtual agents with collaborative knowledge: Open domain question answering using wikipedia-based topic models U Waltinger, A Breuing, I Wachsmuth – Proceedings of the Twenty- …, 2011 – dl.acm.org … 1897 Page 3. Figure 1: Overview of the QA architecture within the dialog system of our conversational agent Max. … In Proceedings of the 4th international joint conference on Automated Reasoning, IJCAR ’08, pages 139–146, Berlin, Heidelberg, 2008. Springer-Verlag. … Cited by 12 Related articles All 7 versions Cite Save

Active assistance technology for health-related behavior change: an interdisciplinary review CM Kennedy, J Powell, TH Payne… – Journal of medical …, 2012 – ncbi.nlm.nih.gov … Of these, 5 were dialog systems, in which motivational interviewing was used as a general philosophy for dialog design [35,41,47,51,52]. … The prototype in Bickmore and Sidner’s study [31] and their follow-up pilot study [35] used ontologies for automated reasoning about the … Cited by 13 Related articles All 7 versions Cite Save

The QMLTP problem library for first-order modal logics T Raths, J Otten – Automated Reasoning, 2012 – Springer … 20 problems in a multi-modal logic syntax from various textbooks and applications, eg, security protocols and dialog systems [8, 21, 22]. … Journal of Automated Reasoning 24, 297–317 (2000) 2. Benzmüller, CE, Paulson, LC: Quantified Multimodal Logics in Simple Type Theory. … Cited by 5 Related articles All 7 versions Cite Save

Systems that adapt to their users A Jameson – Decision Making, 2011 – dfki.de … Research originally focused on natural language dialog systems • Since then, considerable expansion of scope to include types of adaptation listed below … Advances in machine learning and automated reasoning • Greater technical support for flexibility in system behavior … Cited by 9 Related articles All 5 versions Cite Save More

Evidence of Misunderstandings in Tutorial Dialogue and their Impact on Learning. PW Jordan, DJ Litman, M Lipschultz, J Drummond – AIED, 2009 – celstec.org … Journal of Automated Reasoning, Special issue on Automated Reasoning and Theorem Proving in Education, 32:187–226, 2004. [11] H. Pon-Barry, K. Schultz, EO Bratt, B. Clark, and S. Peters. Responding to student uncertainty in spo- ken tutorial dialogue systems. … Cited by 5 Related articles All 12 versions Cite Save More

Linguistic processing in a mathematics tutoring system: cooperative input interpretation and dialogue modelling M Wolska, M Buckley, H Horacek… – Resource-Adaptive …, 2010 – Springer … Information state in dialogue systems has been modelled as a structure including information about the linguistic and domain-level analyses of … system we used in the project is the ?MEGA system “?MEGA: Resource-Adaptive Pro- cesses in Automated Reasoning system” by … Cited by 3 Related articles All 5 versions Cite Save

Resource-bounded modelling and analysis of human-level interactive proofs C Benzmüller, M Schiller, J Siekmann – Resource-adaptive cognitive …, 2010 – Springer … (Resource-Adaptive Processes in Automated Reasoning Systems in this volume). This chapter can be seen as a bridge between these two articles. … Setup. A tutorial dialogue system was simulated in the Wizard-of-Oz paradigm [24], ie with the help of a human expert. … Cited by 4 Related articles All 11 versions Cite Save

Understanding considerate systems-UCS (Pronounced: You see us) T Selker – … and Applications of Artificial Intelligence (TAAI), 2011 …, 2011 – ieeexplore.ieee.org … speech recognition, improving speech translation, enabling considerate conversation, moderating and improving spoken dialogue systems, and enabling … Bayesian networks (BN) are also used in automated reasoning applications such as model-based diagnosis [22], medical … Cited by 7 Related articles All 7 versions Cite Save

A dialogue mechanism for public argumentation using conversation policies Y Tang, S Parsons – Argumentation in Multi-Agent Systems, 2009 – Springer … can be used for, and have created a bridge to possibility theory and plausibil- ity theory in the field of reasoning about uncertainty [12]. The new systems that have emerged from this research are not usable in existing argumentation-based dialogue systems because of the way … Cited by 4 Related articles All 22 versions Cite Save

BICA and Beyond: How Biology and Anomalies Together Contribute to Flexible Cognition D Perlis – International Journal of Machine Consciousness, 2010 – World Scientific … Our current dialog system, ALFRED, uses the MCL approach to resolve a broad class of dialog anomalies. … commonsense applications,” Proceedings of the Workshop for Empirically Successful First-Order Reasoning, International Joint Conference on Automated Reasoning. … Cited by 4 Related articles All 4 versions Cite Save

Work out the semantic web search: The cooperative way D Melo, IP Rodrigues, VB Nogueira – Advances in Artificial Intelligence, 2012 – dl.acm.org … USA. Our dialogue system has as main goal the use of interaction to obtain more objective and concrete answers. … answer. Making the dialogue system more cooperative makes one able to get closer to the answer desired by the user. … Cited by 3 Related articles All 10 versions Cite Save

Discussion paper: how much of commonsense and legal reasoning is formalizable? A review of conceptual obstacles J Franklin – Law, Probability and Risk, 2012 – Oxford Univ Press … tall, or neither definitely tall nor short. That creates problems for automated reasoning as to the logical relation between, eg ‘The witness described X as quite tall’ and ‘X is of height 5 feet 8 inches’. The basic idea of fuzzy logic … Cited by 4 Related articles All 6 versions Cite Save

Typeful ontologies with direct multilingual verbalization K Angelov, R Enache – Controlled Natural Language, 2012 – Springer … GF has been used in various large-scale projects such as the dialogue system research project TALK [10], the educational project WebALT [11], the verification tool KeY [12], and the project in multilingual translation MOLTO [13]. Regarding the automated reasoning and the … Cited by 8 Related articles All 13 versions Cite Save

Speech and language processing for adaptive training D Litman – Adaptive Technologies for Training and Education, 2012 – books.google.com … intelligent tutoring systems. More recently, advances in speech recognition and synthe- sis have made it possible to include spoken language technologies in both assessments and tutorial dialogue systems. Progress in these … Cited by 2 Related articles All 2 versions Cite Save

An overview of formal models of argumentation and their application in philosophy H Prakken – Studies in logic, 2011 – studiesinlogic.net … There is thus a natural relation between argumentation logics (which define what conclusions can be drawn from a given body of information) and dialogue systems for argumentation (which regulate how such a body of information can evolve during a dialogue). … Cited by 5 Related articles All 3 versions Cite Save More

Building a Problem Library for First-Order Modal Logics T Raths, J Otten – TABLEAUX 2009 Position Papers and Workshop …, 2009 – jens-otten.de … The dialogue system Artimis [24] and the sentence-planner SPUD [29] plan, generate and interpret sentences in a natural language. … A first-order modal logic is also used as query language for description logic knowledge bases [6]. Automated reasoning is required to answer … Cited by 1 Related articles All 5 versions Cite Save More

Indexing as an ontological support for legal reasoning E Schweighoferf – Technologies for Supporting Reasoning …, 2011 – books.google.com … Thus, a computer-useable structured description will offer a “simplified syllogism” for automated reasoning in standard cases. It is then up to legal practice to implement these “simplified syllo- gisms” in knowledge systems, dialog systems etc. 214 Page 239. … Cited by 1 Related articles All 3 versions Cite Save

Toward multilingual mechanized mathematics assistants J SALUDES, S XAMBÓ – Resúmenes del xiii Encuentro de Álgebra … – www-ma2.upc.edu … More specifically, we will have a closer look on multilingual mathematical dialog systems designed to teach students to solve and how to … They belong to the more general field of Automated Reasoning (AR) and usually they support some degree of interactivity, in the sense that … Cited by 1 Related articles All 5 versions Cite Save More

Granularity analysis for mathematical proofs MRG Schiller – Topics in cognitive science, 2013 – Wiley Online Library … deduction calculus was developed by Gentzen (1934) to model “actual reasoning” and has been implemented in various automated reasoning systems. … on-one natural language tutorial dialogs on mathematical proof construction to aid the design of the Dialog system and the … Cited by 1 Related articles All 5 versions Cite Save

Lessons learned from virtual humans W Swartout – AI Magazine, 2010 – aaai.org … Implementing a virtual human requires integrating a diverse range of AI technologies including speech recognition, natural language understanding, dialogue management, automated reasoning, speech and gesture generation, and ani- mation. … Cited by 19 Related articles All 6 versions Cite Save

Methods and tools for knowledge sharing in product development M Bertoni, C Johansson, TC Larsson – Innovation in Product Design, 2011 – Springer … based on Issue Based Information System (IBIS) [ 58 ] framework, and “feature-oriented” approaches, used to support automated reasoning [ 59 … ed) IJCAI-97: Working notes of the lJCAI’97 workshop on collaboration, cooperation and conflict in dialogue systems, Nagoya, Japan. … Cited by 1 Related articles All 7 versions Cite Save

Working on the argument pipeline: Through flow issues between natural language argument, instantiated arguments, and argumentation frameworks A Wyner, T van Engers, A Hunter – Proceedings of the Workshop on …, 2010 – wyner.info … knowledge and the formal representation of knowledge which a machine can process; the bottleneck has limited the advance of artificial intelligence technologies [2]. KR is understood as a structured, logical representation of the knowledge for automated reasoning, query- ing … Cited by 2 Related articles Cite Save More

Automated Reasoning for Natural Language Semantics J Bos – staff.science.uva.nl … provers simultaneously. The Midas System Midas (Multiple inference-based dialogue analysis system) was developed to study the role of automated reasoning in human machine dialogue systems. More precisely, Midas aims to: … Related articles All 2 versions Cite Save More

An Ontological Representation of EU Consular Law E Schweighofer – Proceedings of LOAIT 2010 IV Workshop on Legal …, 2010 – ceur-ws.org … Knowledge acquisition is supported by semi-automatic text summarisation and text classification. A sketchy inference machine allows automated reasoning in “easy cases”. A dialogue system establishes the facts but also handles the interface with the citizen. … Related articles All 4 versions Cite Save More

Systems Thinking in Biology–The case for Qualitative Representations and Reasoning B Bredeweg, F Linnebank, W Beek, J Liem – Citeseer … Moreover, the detailed and explicit representations inherent to the Qualitative Reasoning approach make it possible to build knowledgeable dialogue systems, all working on the same underlying … Fourth, automated reasoning is applied to the model resulting in simulations. … Related articles All 2 versions Cite Save More

Evaluating Automated Theorem Provers for First-Order Modal Logics T Raths, J Otten – jens-otten.de … The dialogue system Ar- timis [33] and the sentence-planner SPUD [40] plan, generate and interpret sentences in a natural language. … Automated reasoning is required to answer queries and to verify and optimize integrity conditions. … Related articles Cite Save More

Language Phenomena in Tutorial Dialogs on Mathematical Proofs I Kruijff-Korbayová, D Tsovaltzi, BQ Vo, M Wolska – coli.uni-saarland.de … Proc. of the IJCAI Workshop on Knowledge Representa- tion and Automated Reasoning for E-Learning Systems, Acapulco, Mexico, 2003b. … Conference on Intelligent Tutoring Systems Workshop on Empirical Methods for Tutorial Dialogue Systems, San Sebastian, Spain, 2002. … Related articles Cite Save More

OMEGA: Resource-adaptive Proof Planning 3.2 State of the Art at the Time of the Proposal C Benzmüller, A Meier, PDDH Horacek, PDDE Melis… – page.mi.fu-berlin.de Page 1. MI 4 — Page 1 Siekmann / Benzmüller / Melis Project MI 4: OMEGA: Resource-adaptive Proof Planning Page 2. MI 4 — Page 2 Siekmann / Benzmüller / Melis 3.1 Overview Funding period: 1 January 2002 – 31 December 2004 … Related articles Cite Save More

Syntactic testsuites and Textual Entailment Recognition P Bedaride, C Gardent – The seventh International Conference on …, 2010 – hal.inria.fr … Special emphasis is placed on capturing syntax based equivalences such as syn- tactic (eg, active/passive) variations, redistributions and noun/verb variants. Next, automated reasoning is used to check entailment. 3.2. … In Workshop on Affective dialog systems. … Related articles All 8 versions Cite Save

Towards a Graphical Model of Remote Control of Machines G TYSON, N TROQUARD, S PARSONS… – dcs.kcl.ac.uk … The model was presented in the form of a logical language along with a formal diagrammatic semantics, and thus supports automated reasoning over such powers. … [31] L. Riley, K. Atkinson, T. Payne, and E. Black. An implemented dialogue system for inquiry and persua- sion. … Related articles All 2 versions Cite Save More

[BOOK] KI 2009: Advances in Artificial Intelligence: 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009, Proceedings B Mertsching, M Hund, Z Aziz – 2009 – books.google.com … Sciences AI in Clusters Agents & Intelligent Virtual Environments AI and Economics AI and Engineering Automated Reasoning Cognition Distributed AI … 201 Hauke Tonnies Natural Language Processing Semi-automatic Creation of Resources for Spoken Dialog Systems….. … All 2 versions Cite Save More

Design of industrial automation systems—Formal requirements in the engineering process B Bottcher, J Badinger, N Moriz… – … & Factory Automation …, 2013 – ieeexplore.ieee.org … In [12] it is shown how new de- sign methods can improve the efficiency of the automated development of building automation systems (BAS). A dialog system guides the planner through the elicitation of requirements. … Automated reasoning on feature models. … Related articles Cite Save

The knowledge engineering S HERAS, V BOTTI, V JULIÁN, D PÉREZ-MARÍN… – 2009 – Cambridge Univ Press … 353 Recent research advances in Reinforcement Learning in Spoken Dialogue Systems MATTHEW FRAMPTON and OLIVER LEMON 375 … Tie-Cheng Wang and Bledsoe, WW, 1987. ”Hierarchical deduction” Journal of Automated Reasoning 3 (1) pp 1–34. Pau, LF, 1986. … All 2 versions Cite Save

The Structure of Intelligent Tutoring Systems: Step Analysis K VanLehn – christopia.net Page 1. 1 The Structure of Intelligent Tutoring Systems: Step Analysis Kurt VanLehn Tuesday, August 30, 2011 1 Introduction ….. 1 2 Different methods of representing … Related articles Cite Save More

Improving Conceptual Learning through Customized Knowledge Visualization Q Gu, F Ahmad, T Sumner – … and Data Mining, 2010. WKDD’10. …, 2010 – ieeexplore.ieee.org … statements in the nodes to capture concepts and ideas related to a domain, and a limited number of link types [8]. In the form of knowledge map, the learner model supports automated reasoning to de- tect … Dialogue and domain knowledge man- agement in dialogue systems. … Related articles All 5 versions Cite Save

Natural Language Engineering of Argumentation (NaLEA) May 16, 2010 AZ Wyner, T van Engers – 2010 – wyner.info Page 1. Natural Language Engineering of Argumentation (NaLEA) May 16, 2010 Adam Zachary Wyner1 and Tom van Engers2 1 Department of Computer Science University of Liverpool Ashton Building, Ashton Street Liverpool … Related articles Cite Save More

Advances in Artificial Intelligence BMM Hund, Z Aziz – 2009 – Springer … Economics Torsten Eymann University of Bayreuth AI and Engineering Hans Kleine Büning University of Paderborn Automated Reasoning Ulrich Furbach … 201 Hauke Tönnies Natural Language Processing Semi-automatic Creation of Resources for Spoken Dialog Systems….. … Related articles Cite Save

Explicit knowledge and the deliberative layer: Lessons learned S Lemaignan, R Alami – … and Systems (IROS), 2013 IEEE/RSJ …, 2013 – ieeexplore.ieee.org … The dialogue system would for instance happily run with only the verbal modality, at the cost of weaker interaction. … Then, the logician perspective: does the promises of automated reasoning for robots really come to fruition with ontologies? … Cited by 1 Related articles All 2 versions Cite Save

[BOOK] Integration of World Knowledge for Natural Language Understanding E Ovchinnikova – Integration of World Knowledge for Natural Language …, 2012 – Springer … of reasoning is intended to facilitate such applications as, for example, question answering, information extraction, and dialog systems. … disciplinary knowledge from the domains of formal semantics, lexical semantics, logics, knowledge representation, and automated reasoning. … All 2 versions Cite Save

Semantic Validation of Uttered Commands in Voice-activated Home Automation G Ferreira, H Macedo, L Matos, A Leandro, E Seabra… – world-comp.org … In [18], the authors employ a semantic analyzer to enhance the language model used in a spoken dialog system. … a human community to share a precise, unambiguous under common understanding of the domain and software agents to perform automated reasoning about it. … Related articles Cite Save More

Intra-vehicular verification and control: a two-pronged approach A Alvi, Z Nabi, DJ Greaves, R Mehmood – International Journal of …, 2011 – Inderscience … smart car. A conversational dialog system for automobile drivers is described by Yan et al. (2007). The … standardisation efforts. We are also working on improving the efficiency of automated reasoning in our system. Moreover … Cited by 1 Related articles All 8 versions Cite Save

Quelo: an Ontology-Driven Query Interface. E Franconi, P Guagliardo, M Trevisan, S Tessaris – Description Logics, 2011 – inf.unibz.it … Our intelligent interface is driven by means of appropriate automated reasoning techniques over an ontology describing the domain of the … Workshop on Language-Enhanced Educational Technology and Development and Evaluation of Robust Spoken Dialogue Systems, 2006. … Cited by 6 Related articles All 6 versions Cite Save More

Enabling distributed communication of manual skills S Fox, P Ehlen, M Purver – International Journal of Managing …, 2011 – emeraldinsight.com … feedback. Mixed initiative multimodal computer-based dialogue systems have been undergoing development for some years (Freedman, 1999) and often involve automated reasoning through a, so-called, dialogue manager. … Cited by 2 Related articles All 4 versions Cite Save

An intelligent query interface based on ontology navigation E Franconi, P Guagliardo, M Trevisan – … on Visual Interfaces to the Social …, 2010 – Citeseer … information system holding the data. Our intelligent interface is driven by means of appropriate automated reasoning techniques over an ontology describ- ing the domain of the data in the information system. We will define what … Cited by 18 Related articles All 5 versions Cite Save More

Investigation of human-computer task markets: Methods and prototype D Shahaf, E Horvitz – 2009 – research.microsoft.com … The methods meld the area of human computation with automated reasoning. … [HP07] E. Horvitz and T. Paek. Complementary computing: Policies for transferring callers from dialog systems to human receptionists. User Modeling and User Adapted Interaction, 2007. … Cited by 1 Related articles All 2 versions Cite Save More

Towards automatic conflict detection in home and building automation systems P Carreira, S Resendes, AC Santos – Pervasive and Mobile Computing, 2013 – Elsevier … system is difficult [29], experiments show that it is possible to build socially intelligent home dialogue systems that create a … Their solution uses knowledge representation, automated reasoning and annotations based on ontological formalisms to create a self-adapting framework … Related articles All 3 versions Cite Save

A Survey of Computational Semantics: Representation, Inference and Knowledge in Wide-Coverage Text Understanding J Bos – Language and Linguistics Compass, 2011 – Wiley Online Library … is an interdisciplinary area combining insights from formal semantics, computational linguistics, knowledge representation and automated reasoning. … useful in real-world applications such as information retrieval, information extraction, spoken dialogue systems and open … Cited by 10 Related articles All 4 versions Cite Save

Stochastic models for semantic parsing, multi-faceted topic discovery, and causal event inference: Perspectives from natural language processing. R Girju – ICCV Workshops, 2011 – vcla.stat.ucla.edu … CAUSE – EFFECT, etc. ? Semantic parsing: ? supports automated reasoning. Page 4. Semantic Parsing (2) Unstructured … Neutral paper, new, present communication, interaction Aspectual algorithm, model dialogue, system, user “Linguistic” Aspect Route / Level Background … All 2 versions Cite Save More

Research directions in agent communication AK Chopra, A Artikis, J Bentahar, M Colombetti… – ACM Transactions on …, 2013 – dl.acm.org Page 1. TIST0402-20 ACM-TRANSACTION March 5, 2013 19:59 20 Research Directions in Agent Communication AMIT K. CHOPRA, University of Trento ALEXANDER ARTIKIS, NCSR “Demokritos” JAMAL BENTAHAR, Concordia … Cited by 16 Related articles All 10 versions Cite Save

Automated marking for interactive exercises on heuristic search algorithms F Grivokostopoulou… – … Assessment and Learning …, 2013 – ieeexplore.ieee.org … [6] A. Fiedler and D. Tsovaltzi “Automating Hinting in an Intelligent Tutorial Dialog System for Mathematics”, in Proc. of the IJCAI Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, Acapulco, Mexico,2003 [7] E. Gouli, A. Gogoulou, K … Related articles All 2 versions Cite Save

Situated Dialogue for Speaking Robots E Ribeiro – 2012 – dspace.ist.utl.pt … Dialogue systems, intelligent agents and knowledge representation are some of the areas covered. Following, the framework’s architecture is presented. … Racioc?nio Robots Keywords Dialogue systems Intelligent agents Learning Knowledge base Reasoning Robots Page 12. … Related articles All 3 versions Cite Save More

Using Intentions and Plans of Mobile Activities to Guide Geospatial Web Service Composition B Yu, G Cai – … Conference (APSCC), 2010 IEEE Asia-Pacific, 2010 – ieeexplore.ieee.org … However, all of these existing efforts made only limited advances in modeling and using activities for automated reasoning – they either discussed activity at … explicit requests, such as selecting a menu item from the client or a speech utterance in a spoken dialogue system; or are … Cited by 1 Related articles All 6 versions Cite Save

Macro and micro context-awareness for autonomic pervasive computing B Abdulrazak, P Roy, C Gouin-Vallerand… – Proceedings of the 12th …, 2010 – dl.acm.org … Smart Spaces Controlled smart spaces can be organized into an architecture where components are planned by domain experts, managed through specialized tools, and where key components offer important services such as Context aggregation or Automated Reasoning. … Cited by 14 Related articles All 4 versions Cite Save

Report on statistically-based and theoretically-based methodologies for modelling politeness E Douglas-Cowie, R Cowie, D Heylen, C Pelachaud… – dcs.gla.ac.uk … Ideally, one single representation language should be usable in different contexts, such as manual or automatic annotation of data, automated reasoning, and generation of system behaviour. … Endowing spoken language dialogue systems with emotional intelligence. … Related articles Cite Save More

Supporting Integration, Synthesis, Uptake & Reuse of AIED Research J Underwood, R Luckin – tel.ioe.ac.uk … Dialogue Systems, Intelligent Tutoring Systems, Cognitive Tutors. … Technology, Wiley-Blackwell The Internet and Higher Education, Elsevier Journal of Interactive Media in Education, OU Instructional Science, Springer Journal of Automated Reasoning, Springer Interactive … Related articles All 6 versions Cite Save More

Translating between language and logic: what is easy and what is difficult A Ranta – Automated Deduction–CADE-23, 2011 – Springer Page 1. Translating between Language and Logic: What Is Easy and What Is Difficult Aarne Ranta Department of Computer Science and Engineering Chalmers University of Technology and University of Gothenburg Abstract. … Cited by 5 Related articles All 7 versions Cite Save

Closed-loop PLM for intelligent products in the era of the Internet of things D Kiritsis – Computer-Aided Design, 2011 – Elsevier … The analysis focuses on type two and three. Type three standards or open solutions are EPCglobal architecture, DIALOG system, WWAI and OGC SWE and the new PROMISE propositions. Type two standards which are analysed are PLCS and MIMOSA OSA-EAI and CBM. … Cited by 81 Related articles All 4 versions Cite Save

Plans, actions and dialogues using linear logic L Dixon, A Smaill, T Tsang – Journal of Logic, Language and Information, 2009 – Springer … as an important area of further work for dialogue systems (Foster et al. 2006). … For instance, Fernández and Endriss give a formal account of various protocols as a basis for proving properties of dialogue systems (Fernández and Endriss 2007). … Cited by 5 Related articles All 17 versions Cite Save

Suppose you have a robot LC AIELLO, D NARDI, G RAN… – … , Reasoning, and Acting, …, 2011 – researchgate.net … Sense (OMICS) database from natural language into a Description Logic representation, thus making it available to automated reasoning processes. … combine a sophisticated low-level robot navigation with a symbolic high-level spoken dialogue system [Theobalt, Bos, Chapman … Cited by 1 Related articles Cite Save More

Models of Argument for Deliberative Dialogue in Complex Domains A Toniolo – 2013 – usukitacs.com … 55 3 Adopted dialogue system 58 3.1 Dialoguesystem . . . . . … (2011). . . . 52 3.1 Dialogue system: Topic language and procedural layer. . . . . 59 3.2 Detailsofthetopiclanguage. . . . . … Cited by 1 Related articles All 2 versions Cite Save More

Simulation of the dynamics of virtual characters’ emotions and social relations M Ochs, N Sabouret – … and Workshops, 2009. ACII 2009. 3rd …, 2009 – ieeexplore.ieee.org … In future work, we can consider automated reasoning on knowledge repre- sentation to automatically infer dynamic attitudes in context for actions and objects. 2.2. Events … En- dowing spoken language dialogue systems with emo- tional intelligence. … Cited by 2 Related articles All 6 versions Cite Save

Normalization Strategy of Logical Knowledge Representation for Text Document. RA Kadir, TMT Sembok, F Ahmad… – International Journal of …, 2013 – search.ebscohost.com … in representing knowledge, to acting as computing or helping the further research such as query system, dialogue system or search … to know in order to behave intelligently, how this knowledge can be represented symbolically, and how automated reasoning procedures can … Related articles All 2 versions Cite Save

Statistical Script Learning with Multi-Argument Events K Pichotta, RJ Mooney – cs.utexas.edu … The procedural encoding of common situations for automated reasoning dates back decades. … There are also a number of systems addressing the related problem of modeling domain-specific human-human dia- log for building dialog systems (Bangalore et al., 2006 … Related articles Cite Save More

Method and system for semi-automatic guesstimation JA Abourbih – Msc project, University of Edinburgh, Scotland, 2009 – inf.ed.ac.uk … The Semantic Web [Berners-Lee et al., 2001] is a decentralised web of knowledge and associated semantic representations that allows automated reasoning over that knowl- edge. It exploits the techniques of knowledge representation and automated reasoning … Cited by 3 Related articles All 6 versions Cite Save More

[BOOK] Building intelligent interactive tutors: Student-centered strategies for revolutionizing e-learning BP Woolf – 2010 – books.google.com Page 1. BUILDING INTELLIGENT INTERACTIVE TUTORS Student-centered strategies for revolutionizing e-learning Page 2. BUILDING INTELLIGENT INTERACTIVE TUTORS Student-centered strategies for revolutionizing e-learning rlyParkWoolf Page 3. … Cited by 194 Related articles All 7 versions Cite Save More

Can there be standards for spontaneous speech? Towards an ontology for speech resource exploitation D Gibbon – Linguistic Patterns in Spontaneous …, 2009 – coral2.spectrum.uni-bielefeld.de … GOLD is aimed at facilitating automated reasoning over linguistic data and at establishing the basic concepts through which intelligent search can be carried out. … (2000). Handbook of Multimodal and Spoken Dialogue Systems. Resources, Terminology and Product Evaluation. … Cited by 2 Related articles Cite Save More

Automated Marking for Interactive Exercises on Heuristic Search Algorithm F Grivokostopoulou, I Hatzilygeroudis – files.francisco-zurita.webnode.es … [6] A. Fiedler and D. Tsovaltzi “Automating Hinting in an Intelligent Tutorial Dialog System for Mathematics”, in Proc. of the IJCAI Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, Acapulco, Mexico,2003 [7] E. Gouli, A. Gogoulou, K … Related articles Cite Save More

Task model reasoning PD Michalak – 2011 – urresearch.rochester.edu … 1. Greg Aist, Phillip Michalak, George Ferguson, and James Allen. 2006. Challenges in evaluating spoken dialog systems that reason and learn. Interspeech-06 Satel- lite Workshop Dialogue on Dialogues – Multidisciplinary Evaluation of Advanced … Related articles All 4 versions Cite Save More

Introduction to the Semantic Web Technologies J Domingue, D Fensel, JA Hendler – Handbook of Semantic Web …, 2011 – Springer Page 1. Part 1 Foundations and Technologies Page 2. Page 3. 1 Introduction to the Semantic Web Technologies John Domingue1 . Dieter Fensel2 . James A. Hendler3 1The Open University, Milton Keynes, UK 2University of … Cited by 5 Related articles All 2 versions Cite Save

[BOOK] Distributed intelligent systems: A coordination perspective R Mittu, A Boukhtouta, J Berger – 2009 – books.google.com … 105 5.9.1 Logic-based argumentation…..109 5.9.2 Dialogues and Dialogue Systems…..112 Chapter 6 Learning and Coordination …..125 6.1 Introduction … Cited by 17 Related articles All 6 versions Cite Save More

Natural Language Generation and Interfaces to Knowledge Bases C Gardent, E Banik, L Perez-Beltrachini – computational-linguistics.com Page 1. Natural Language Generation and Interfaces to Knowledge Bases Claire Gardent1, Eva Banik2 and Laura Perez-Beltrachini3 (1) CNRS/LORIA, Nancy, (2) Computational Linguistics Ltd, (3) Nancy University 26 June 2011, K-CAP 2011 Page 2. Goals and Methods … Related articles All 3 versions Cite Save More

Interpreting Design Structure In Patents Using An Ontology Library Z Li, D Tate – ebooks.asmedigitalcollection.asme. … … [4-6]. The concept of ontology initially was proposed for purposes of automated reasoning. … Typical applications of NLP include information retrieval, information extraction, question answering, machine translation, summarization, and dialogue systems [24]. … Cite Save

Towards Socialized Machines: Emotions and Sense of Humour in Conversational Agents M Ptaszynski, P Dybala, S Higuhi, W Shi… – Web Intelligence and … – intechopen.com … Research on non-task-oriented conversational agents like casual conversation dialogue systems (“chat-bots”) is on the other hand not very common, perhaps due to many amateurs who try to build naturally talking systems using sometimes very clever, but rather unscientific … Cited by 1 Related articles All 4 versions Cite Save More

[BOOK] Modern Approaches in Applied Intelligence: 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, … KG Mehrotra, CK Mohan, JC Oh, PK Varshney, M Ali – 2011 – books.google.com Page 1. Kishan G. Mehrotra Chilukuri K. Mohan Jae C. Oh Pramod K. Varshney Moonis AH (Eds.) Modern Approaches in Applied Intelligenc 24th International Conference on Industrial Engineering and Other Applications of … Related articles All 6 versions Cite Save More

Semantic Web IDD Fensel2-James, A Hendler – Handbook of Semantic Web …, 2011 – books.google.com Page 24. 1.1 1.2 1.2. 1 1.2. 2 1.2. 3 1.2. 4 1.3 1.3. 1 1.3. 2 1.3. 3 1.3. 4 1.3. 5 1.3. 6 1.4 1.4. 1 1.4. 2 1.4. 3 1.5 1.5. 1 1.6 1.6. 1 1.6. 1.1 Introduction to the Semantic Web Technologies Iohn Dornz’ngae1-Dieter Fensel2-James A. Hendler3 … Cite Save

Processing temporal information in unstructured documents FNQMC Costa – 2013 – repositorio.ul.pt Page 1. UNIVERSIDADE DE LISBOA FACULDADE DE CIÊNCIAS DEPARTAMENTO DE INFORMÁTICA Processing Temporal Information in Unstructured Documents Francisco Nuno Quintiliano Mendonça Carapeto Costa DOUTORAMENTO EM INFORMÁTICA … Cited by 4 Related articles All 3 versions Cite Save

Grounding Ontologies with Social Processes and Natural Language C Debruyne, TK Tran, R Meersman – Journal on Data Semantics, 2013 – Springer … 123 Page 5. Grounding Ontologies with Social Processes and Natural Language and (I) “implied” by the (tool) support for dialogue. Again here, the methods with a tool supporting dialogue rely on the dialogue system to support the social processes. … Cited by 1 Related articles All 5 versions Cite Save

Local organisation M Giese, R Antonsen, PB NICTA, U Hustadt… – … , Tutorials, and Short … – tableaux11.unibe.ch Page 7. Program Chair Martin Giese University of Oslo, Norway Program Committee Roger Antonsen University of Oslo, Norway Peter Baumgartner NICTA, Canberra, Australia Bernhard Beckert Karlsruhe Institute of Technology … Related articles Cite Save More

[BOOK] Integration of world knowledge for natural language understanding E Ovchinnikova – 2012 – books.google.com … of reasoning is intended to facilitate such applications as, for example, question answering, information extraction, and dialog systems. … disciplinary knowledge from the domains of formal semantics, lexical semantics, logics, knowledge representation, and automated reasoning. … Cited by 7 Related articles All 4 versions Cite Save More

Practical argumentation in a mixed-initiative framework C Chang – 2011 – ro.uow.edu.au Page 1. University of Wollongong Research Online University of Wollongong Thesis Collection University of Wollongong Thesis Collections 2011 Practical argumentation in a mixed-initiative framework Chee Fon Chang University of Wollongong … Related articles Cite Save

A Computational Pragmatic Account of Conversational Implicatures L Benotti, N France – 2009 – thesis-benotti.googlecode.com … Second, even if the principles are sufficiently clear so that a computational account can be formulated, there may still be a problem providing a given computa- tional dialogue system with the appropriate knowledge to carry out the inferences in a way that is congruent with … Related articles All 2 versions Cite Save More

Argumentation-based Dialogues over Cooperative Plans ARM Gasque – 2013 – research-archive.liv.ac.uk … Agent technology has been used as a concept to bring together AI sub- disciplines such as knowledge representation, machine learning, planning, automated reasoning and game theory among others [159]. Wooldridge in [197], defines a software agent as follows: Cite Save More

[BOOK] Advances in Artificial Intelligence G Sidorov, AH Aguirre, CAR García – 2010 – Springer … Page 13. Table of Contents – Part I Automated Reasoning and Multi-Agent Systems … Page 15. Table of Contents – Part I XVII Contextual Semantic Processing for a Spanish Dialogue System Using Markov Logic….. 258 … Related articles All 7 versions Cite Save

Novel approaches to acquisition and maintenance of user model A Andrejko – … Sciences and Technologies Bulletin of the …, 2009 – publications.antona.sk Page 1. Anton Andrejko Novel Approaches to Acquisition and Maintenance of User Model Dissertation thesis Slovak University of Technology Bratislava, Slovakia Page 2. Page 3. Anton Andrejko Novel Approaches to Acquisition and Maintenance of User Model … Cited by 4 Related articles All 10 versions Cite Save More

An Exploration of Semantic Formalisms-Part I: A Comparison of First Order Predicate Calculus, Intensional Logic and … C Thomas – 2009 – Citeseer … 2006), natural language generation (Donald, 2006), information storage and retrieval (Koyama et al., 1998), dialogue systems (Traat and … particular formalism comes from the extensive set of computational tools for various inferencing and automated reasoning tasks (Blackburn … Related articles All 7 versions Cite Save More

The Multilingual Semantic Web (Dagstuhl Seminar 12362). P Buitelaar, KS Choi, P Cimiano, EH Hovy… – Dagstuhl …, 2012 – drops.dagstuhl.de … Ontologies could help dialogue systems triggering predictable actions in AAL smart homes, ie turning off the oven when not used or reminding a person to make a phone call. 6. How can standardization (eg by the W3C) contribute? … Cited by 3 Related articles All 2 versions Cite Save

A Formal Logical Hybrid Theory of Argumentation and Explanation FJ Bex – Arguments, Stories and Criminal Evidence, 2011 – Springer Logo Springer. Search Options: … Related articles All 2 versions Cite Save

[BOOK] Introduction to Artificial Intelligence: Second PC Jackson – 2013 – books.google.com Page 1. “““’ I V/4 Z -//I ” ” IAI KJW V _,/.n/n7 / . , . . I Jlmvwwnv?w/alv/I/IW/Mr/4,///4 H. ~ 7% 21 A 3 0 ; / iv H, W I ‘ F“. isew??/I/;?v?/.4”/../Wm .“ \ ‘ WW/’M/¢¢V% Page 2. DOVER SCIENCE BOOKS DE RE METALLICA, Georgius Agricola. … Related articles Cite Save

The Multilingual Semantic Web P Buitelaar, KS Choi, P Cimiano, EH Hovy – vesta.informatik.rwth-aachen.de … Ontologies could help dialogue systems triggering predictable actions in AAL smart homes, ie turning off the oven when not used or reminding a person to make a phone call. 6. How can standardization (eg by the W3C) contribute? … Related articles Cite Save More

Modern Approaches in Applied Intelligence KGMCK Mohan, JCOPK Varshney, M Ali – Springer Page 1. Lecture Notes in Artificial Intelligence 6704 Edited by R. Goebel, J. Siekmann, and W. Wahlster Subseries of Lecture Notes in Computer Science Page 2. Kishan G. Mehrotra Chilukuri K. Mohan Jae C. Oh Pramod K. Varshney Moonis Ali (Eds.) Modern Approaches … Related articles All 2 versions Cite Save

Recognizing Textual Entailment: Models and Applications I Dagan, D Roth, M Sammons… – Synthesis Lectures on …, 2013 – morganclaypool.com … Data-Intensive Text Processing with MapReduce Jimmy Lin and Chris Dyer 2010 Semantic Role Labeling Martha Palmer, Daniel Gildea, and Nianwen Xue 2010 Spoken Dialogue Systems Kristiina Jokinen and Michael McTear 2009 Page 7. v … Cited by 2 Related articles All 2 versions Cite Save More

[BOOK] Flat but Not Shallow: Towards flatter representations in deep semantic parsing for precise and feasible inferencing HHGB Reckman – 2009 – openaccess.leidenuniv.nl … The semantic representations need to be such that they are suitable input for automated reasoning algorithms. … The project aims at the development of a natural language dialogue system that discloses personal narratives to facilitate patients (and their relatives) in finding … Related articles Cite Save

[BOOK] Operational Risk Management: a practical approach to intelligent data analysis R Kenett, Y Raanan – 2011 – books.google.com Page 1. Editors RON KENETT YOSSI RAANAN Operati0nal Risk Management A practical approach to intelligent data analysis STATISTICS IN PRACTICE Page 2. Statistics in Practice Advisory Editors Human and Biological … Cited by 23 Related articles All 4 versions Cite Save More

Pre-Processing MRSes T Bruland – In Proceedings of the 10th International Conference on …, 2013 – aclweb.org … ACE can parse and generate using the compiled grammar. Our goal is to create a pipeline for the NorSource grammar and use it to create small question-answer systems or dialogue systems. The first step in the pipeline is the parsing process with ACE. … Cited by 1 Related articles All 7 versions Cite Save More

[BOOK] The Johns Hopkins Guide to Digital Media ML Ryan, L Emerson, BJ Robertson – 2014 – books.google.com … Marie-Laure Ryan Cyborg and Posthuman Raine Koskimaa Data Matthew Fuller Database Christiane Paul Dialogue Systems Jichen Zhu … In software, algorithms are used for performing calcula- tions, conducting automated reasoning, and processing data (including digital texts … Cite Save