FOPC (First Order Predicate Calculus) & Dialog Systems

Notes:

First-order predicate calculus (also known as first-order logic or first-order predicate logic) is a formal logical system that is used to represent and reason about propositions and predicates. It is a type of formal logic that is based on the idea of constructing logical statements using predicates and variables, which can be used to represent objects and their properties.

First-order predicate calculus is used for a wide range of purposes, including:

Artificial intelligence: First-order predicate calculus is often used in artificial intelligence (AI) systems to represent and reason about knowledge and to make inferences.
Formal verification: First-order predicate calculus can be used to formally verify the correctness of software and hardware systems.
Theorem proving: First-order predicate calculus can be used to prove theorems in mathematics and other fields.
Natural language processing: First-order predicate calculus can be used to represent and reason about the meaning of natural language sentences.
Database queries: First-order predicate calculus can be used to express queries in a database.

First-order predicate calculus (FOPC) can be used in dialog systems to represent and reason about the meaning of natural language statements and to generate appropriate responses. FOPC can be used to create a logical representation of the meaning of a natural language statement, which can then be used to determine an appropriate response.

For example, in a dialog system that is designed to answer questions about the weather, FOPC can be used to represent the meaning of a natural language question such as “What is the weather like in New York today?” The FOPC representation of this question might include predicates such as “weather,” “New York,” and “today,” which can be used to determine the appropriate response based on the current weather conditions in New York.

FOPC can also be used to represent and reason about the context of a conversation, which can help the dialog system to generate more natural and appropriate responses. For example, if a user asks a question about the weather in New York and then follows up with a question about the weather in Los Angeles, the dialog system can use FOPC to represent the context of the conversation and generate an appropriate response based on the current weather conditions in both New York and Los Angeles.

Wikipedia:

Automated Question Answering: Review of the Main Approaches. A Andrenucci, E Sneiders – ICITA (1), 2005 – people.dsv.su.se … A common feature of NLP systems is that they convert text input into formal representation of meaning such as logic (first order predicate calculus), semantic networks … They worked as NL front-end to databases [48], dialogue systems [47] or story comprehension systems [21]. … Cited by 59 Related articles All 10 versions

Recent advances in computational models of natural argument C Reed, F Grasso – International Journal of Intelligent Systems, 2007 – Wiley Online Library … Page 2. 2. MODELING WITH ARGUMENT 2.1. History Traditional symbolic AI models of reasoning are typically founded on first- order predicate calculus or some subset thereof. … 45. Mackenzie JD. Four dialogue systems. Studia Logica 1990;49:567–583. 46. Singh MP. … Cited by 48 Related articles All 10 versions

Knowledge representation via verbal description generalization: alternative programming in sampletalk language A Gleibman – Proceedings of Workshop on Inference for Textual …, 2005 – aaai.org … About 30 additional Sampletalk program examples can be found in [1] and [2]. In paper [3] Sampletalk is described as a language of First Order Text Calculus (FOTC), which is a generalization of First Order Predicate Calculus (FOPC), where samples are applied in logic … Cited by 7 Related articles All 6 versions

Dynamic Specifications for Norm-Governed Systems A Artikis12, D Kaponis, J Pitt – 2009 – researchgate.net … In this section we briefly describe the version of the EC that we employ. EC is based on a many-sorted first-order predicate calculus. For the version used here, the underlying time model is linear and it may include real numbers or integers. … Cited by 11 Related articles All 8 versions

Typeful ontologies with direct multilingual verbalization K Angelov, R Enache – Controlled natural language, 2012 – Springer … KIF, which permits the dec- laration of concepts in a human-readable form, featuring support for expressing first- order predicate calculus constructions. … GF has been used in various large-scale projects such as the dialogue system research project TALK [10], the educational … Cited by 15 Related articles All 13 versions

Intelligent Processing of an Unrestricted Text in First Order String Calculus A Gleibman – Transactions on Computational Science V, 2009 – Springer … First Order String Calculus (FOSC), introduced in this paper, is a generalization of First Order Predicate Calculus (FOPC). … Keeping an analogy with First Order Predicate Calculus (FOPC) termi- nology, we call the corresponding calculus First Order String Calculus (FOSC). … Cited by 3 Related articles All 6 versions

An alternative way of semantic interpretation M Konopík, R Mou?ek – Text, Speech and Dialogue, 2005 – Springer … Eg many dialog systems don’t have stand alone semantic interpretation module but the dialog manager module holds its function. … In the following sections we briefly describe the SI method, which uses the first order predicate calculus. … Cited by 3 Related articles All 7 versions

Croatian speech technologies I Ipsic, M Matetic, S Martincic-Ipsic, A Mestrovic… – ELMAR, …, 2007 – ieeexplore.ieee.org … Figure 1. The Spoken Dialog System Architecture. 2. THE CROATIAN SPEECH CORPUS … (Southwest winds will blow on the Adriatic coast.) The concrete entities are represented by FOPC (First Order Predicate Calculus) constants jugozapadnjak and Jadran. … Cited by 4 Related articles All 5 versions

Multiparty Argumentation Game for Consensual Expansion. S Bromuri, M Morge – ICAART (1), 2013 – lifl.fr … EC is based on a many-sorted first-order predicate calculus represented as normal logic programs that are executable in Prolog. The underlying time model is linear. The EC manipulates fluents. … On formalising dialogue systems for argumentation in the event calculus. … Cited by 3 Related articles All 4 versions

Information Retrieval and Question Answering NLP Approach: An Artificial Intelligence Application M Aggarwal – International Journal of Soft Computing and …, 2011 – ijsce.org … of NLP systems is that they convert text input into formal representation of meaning such as logic (first order predicate calculus), semantic networks … They worked as NL front-end to databases [48], dialogue systems [11] or story comprehension systems [2-3]. The linguistic front … Cited by 4 Related articles All 4 versions

Bidding Decision-Making Support System for Power Supplier Based on Multi-Agent System Q Zhang, JH Yu – Power System Technology, 2006. PowerCon …, 2006 – ieeexplore.ieee.org … Message or dialogue system completes the information interaction among the Agents by given protocol. … While KIF supply the information with grammar, which is similar to the first order predicate calculus written by the syntax of LISP. … Cited by 4 Related articles All 2 versions

[BOOK] Error Handling in Spoken Dialogue Systems-Managing Uncertainty, Grounding and Miscommunication G Skantze – 2007 – books.google.com Error Handling in Spoken Dialogue Systems Managing Uncertainty.Grounding and Miscommunication GABRIEL SKANTZE Doctoral Thesis in Speech Communication Stockholm, Sweden 2007 $ KTHI VETENSKAP { £?» OCH KONST Of?, <®W&9 KTH Computer Science … Cited by 34 Related articles All 13 versions

From chatbots to dialog systems T Klüwer – International Journal, 2011 – books.google.com … to represent the meaning of a sentence is first order predicate calculus (FOPC). Although there are a lotofshort- comings in traditional FOPC used as description language for natural language, it is still commonly 10 Page 31. From Chatbots to Dialog Systems utilized as a sort of … Cited by 4 Related articles All 3 versions

A calendar oriented service for smart home YC Yu, S You, DR Tsai – Networked Computing and …, 2010 – ieeexplore.ieee.org … The context information was recorded by OWL (Ontology Web language) which use first-order predicate calculus [23]. The rules as below: … [5] Lopez-Cozar R, Araki M (2005) Spoken, Multilingual and Multimodal Dialogue Systems: Development and Assessment. … Cited by 4 Related articles All 3 versions

RESI-A Natural Language Specification Improver SJ Korner, T Brumm – Semantic Computing, 2009. ICSC’09. …, 2009 – ieeexplore.ieee.org … many of the directives to be followed when processing customer specifications[1], [2]. It offers a dialog-system which makes … They provide a solid base for approaches like First Order Predicate Calculus (FOPC) and the therein involved quantifiers, variables, modus ponens, and … Cited by 8 Related articles All 14 versions

On the way towards standardized semantic corpora for development of semantic analysis systems I Habernal, M Konopík – … 2010, The Fourth International Conference on …, 2010 – thinkmind.org … In human-computer dialogue systems, the task of the SLU system is to process the input acoustic utterance and transform it … There are two basic types of semantic representation: logical structures (eg, First-order predicate calculus, Transparent In- tentional Logic, SIL, etc.) [1], [2 … Cited by 2 Related articles

Crossmodal content binding in information-processing architectures H Jacobsson, N Hawes, GJ Kruijff… – … -Robot Interaction (HRI), …, 2008 – ieeexplore.ieee.org … The first system that might even have con- ceivably encountered the problem was the Shakey system [9]. This translated a constrained set of English language sentences into first order predicate calculus goal statements. Reference … Cited by 43 Related articles All 11 versions

A State of the Art Technique in Semantic Analysis of Natural Language Utterances M Brki?, M Mateti? – MIPRO 2007, 2007 – Citeseer … to the problem of semantic analysis, which is a crucial term in language technology applications, eg dialogue systems and machine … Meaning representations will be presented in First Order Predicate Calculus, a flexible and well-understood meaning representation language. … Cited by 1 Related articles All 4 versions

Natural language specification improvement with ontologies SJ Körner, T Brumm – International Journal of Semantic Computing, 2009 – World Scientific … RESI checks for linguistic defects [1, 2] in specifications and offers a dialog-system which makes suggestions to improve the text. … natural languages leads to disadvantages that are similar to using concrete formal representations such as first-order predicate calculus (FOPC). … Cited by 14 Related articles All 9 versions

Object Recognition System Design in Computer Vision: a Universal Approach A Gleibman – arXiv preprint arXiv:1310.7170, 2013 – arxiv.org … Variables in FOSC are treated similarly to object variables in First Order Predicate Calculus (FOPS). … the system displays only those detected samples that have the plausibility assessment values equal or greater than the plausibility limiter defined in the dialog system (value 0.3 … Cited by 1 Related articles All 2 versions

An Exploration of Semantic Formalisms-Part I: A Comparison of First Order Predicate Calculus, Intensional Logic and … C Thomas – 2009 – Citeseer … Additionally, the first order predicate calculus is explained and used to express linguistic phenomena as an aid for the reader. … and Oepen, 2006), natural language generation (Donald, 2006), information storage and retrieval (Koyama et al., 1998), dialogue systems (Traat and … Related articles All 5 versions

A dialogue system for career counseling G Srivathsan, P Garg, A Bharambe… – Proceedings of the …, 2011 – dl.acm.org … Consequently, as explained above, the artificial intelligence- based dialogue systems are built upon expert problem-solving programs. … Thus the language PROLOG, which uses first-order predicate calculus, forms the bricks and the mortar of the expert system. … Cited by 1 Related articles

Intelligible Automated Reasoning: Systems with the Resolution, Induction and Symmetry EJ Poliscuk – Journal of Applied Computer Science, ISSN, 2005 – ftims.edu.p.lodz.pl … The paper presents a short version of the fully automated programmed systems, intended for proving of theorems in the first-order predicate calculus. … The application of classic resolution presupposes that the formula from the first-order predicate calculus (or first-order Page 2. … Related articles All 4 versions

Symbolic User Model Representation in User Modeling Shell Systems W Pohl – Citeseer … Within partitions, assumptions can be represented both with a terminological formalism and with formulas of first order predicate calculus; the standard reasoning mechanisms of these formalisms are available … In Kobsa, A., and Wahlster, W., eds., User Models in Dialog Systems. … Related articles All 3 versions

Computational Modeling of Discourse and Conversation AC Graesser, DS McNamara, V Rus, A Graesser… – 129.219.222.66 … been a sufficient number of technical advances in the last decade for researchers to revisit the vision of building dialogue systems. … systems that range from the simplest finite-state script to the most complex Belief-Desire- Intention (BDI) model. … Related articles All 3 versions

Semantics and Predicate Logic PM Nugues – Language Processing with Perl and Prolog, 2014 – Springer … This has many practical consequences because, at hand, there is an impressive set of mathematical models and tools to exploit. The most numerous ones resort to the first-order predicate calculus. … 14.4 First-Order Predicate Calculus to Represent the State of Affairs. … Related articles All 2 versions

Application of Multi-AGENT System On WEB-BASED Data Warehouse for Pricing System of Power Supplier Q Zhang, K Li, JH Yu – … and Exposition, 2006. PSCE’06. 2006 …, 2006 – ieeexplore.ieee.org … Message or dialogue system completes the information interaction among the Agents by given protocol. … While KIF supply the information with grammar, which is similar to the first order predicate calculus written by the syntax of LISP. … Related articles

Book review: ontological semantics by sergei nirenburg and victor raskin university of maryland, baltimore county, and purdue university cambridge, ma: the mit press, … JF Sowa – Computational Linguistics, 2005 – dl.acm.org … The authors claim that first-order predicate calculus (FOPC) has failed ”to have made a historical impact.” In fact, FOPC is … been used ”include machine translation, information extraction (IE), question answering (QA), general human-computer dialog systems, text summarization … Cited by 3 Related articles All 5 versions

Toward Narrative Schema-Based Goal Recognition Models for Interactive Narrative Environments A Baikadi, JP Rowe, BW Mott… – … : Papers from the 2012 …, 2012 – musicweb.ucsd.edu … In story understanding, plan recognition is used to infer characters’ goals from their actions (Charniak and Goldman 1993); in dialogue systems, it supports natural language understanding and intention recognition (Blaylock and Allen 2003 … first order predicate calculus formulae. … Cited by 1 Related articles All 3 versions

Computational Semantics C Fox – The Handbook of Computational Linguistics and …, 2010 – csee.essex.ac.uk … we can parse the following sentences. (3) a) A man laughed. b) Every woman laughed. In first order predicate calculus, we want to give these sentences translation of the form: (4) a) ?x(man (x) ? laughed (x)) b) ?x(woman (x) ? laughed (x)) … Cited by 2 Related articles All 3 versions

Review of Ontological Semantics S Nirenberg, V Raskin – researchgate.net … The authors claim that first-order predicate calculus (FOPC) has failed “to have made a historical impact.” In fact, FOPC is … been used “include machine translation, information extraction (IE), question answering (QA), general human-computer dialog systems, text summarization …

Cognitive Technologies MPHUM Veloso, W Wahlster, MJ Wooldridge – 2006 – Springer … 319 12.4 First-Order Predicate Calculus to Represent the State of Affairs . . . 319 12.4.1 Variables and Constants . . . . . … 411 15.3 Simple Dialogue Systems . . . . . … Cited by 81 Related articles All 16 versions

The Leordo Computation System E Sandewall – 2008 – 130.236.177.26 … On higher levels of the design, there is an extension of LRX for represent- ing formulas in first-order predicate calculus, in which case composite entities are identified with terms in the sense of logic. 3. The use of event-state records. … All 5 versions

Formalisation of argumentation protocols in Event Calculus L Bodenstaff – 2005 – phil.uu.nl … Page 16. Page 17. Chapter 2 Introduction to dialogue systems 2.1 Overview … Page 23. Chapter 3 Two formal dialogue systems 3.1 Overview In this chapter the relevant elements for formalising the protocols in the Event Calculus of two formal dialogue systems are presented. … Cited by 1 Related articles

Ontological Semantics S Nirenburg, V Raskin, JF Sowa – aclweb.org … The authors claim that first-order predicate calculus (FOPC) has failed ”to have made a historical impact.” In fact, FOPC is … been used ”include machine translation, information extraction (IE), question answering (QA), general human-computer dialog systems, text summarization … Related articles All 5 versions

An Exploration of Semantic Formalisms-Part II: A Brief Survey of Other Semantic Formalisms C Thomas – 2009 – qucis.queensu.ca … 1 Page 2. what expressive limitations may occur (Davis and Gillon, 2004). For example, Intensional Logic developed by Montague (1974) and the First Order Predicate Calculus share roughly the same sets of expressive properties, as each relies on model and truth theory. … Related articles All 4 versions

Stochastic semantic parsing M Konop?k – University of West Bohemia in Pilsen, Pilsen, Tech. …, 2006 – kiv.zcu.cz … In this thesis, we concentrate on the spoken language dialogue systems (this work is a part of the project of City Information Dialogue (CID) sys- tem [Mou04]). … The First Order Predicate Calculus (FOPC) is used for meaning representa- tion in this approach. … Cited by 2 Related articles

Natural Language Understanding C Hofer, R Mauhart, D Reisenberger – iicm.tugraz.at … 20 4.5.3 How a typical Speech Recognition System works . . . . . 21 4.5.4 Spoken Dialog Systems . . . . . 22 5 Lessions Learned 25 6 Summary and Outlook 25 7 References 27 3 Page 4. 1 INTRODUCTION 1 Introduction … Related articles

On formalizing social commitments in dialogue and argumentation models using temporal defeasible logic A Moubaiddin, N Obeid – Knowledge and information systems, 2013 – Springer … One such neat way is the notion of Undercut. Definition 4.4 Let KB be a knowledge base, and P1 and P2 be two arguments in Arg(KB). Then, Undercut(P1, P2) iff (?B ? Support(P2) such that B ?? Conc(P1) where “?” is the equivalence of first-order predicate calculus. … Cited by 2 Related articles All 5 versions

Stochastic Semantic Analysis I Habernal – 2009 – kiv.zcu.cz … In human-computer dialogue systems, the task of SLU system is to pro- cess the input acoustic utterance and transform it into a semantic represen- tation. … The first-order predicate calculus (FOPC) is used for meaning representation. … Related articles

The history of natural language processing and machine translation Y Wilks – Encyclopedia of Language and Linguistics, 2005 – Citeseer … virtues and failings can be seen by contrasting it with a contemporary system from Stanford: Colby’s PARRY dialogue system (Colby, 1973). … The central AI vision (eg McCarthy & Hayes, 1969) is that some version of the First Order Predicate Calculus (FOPC), augmented by … Cited by 3 Related articles All 3 versions

Applying Semantic Technology To Business News Analysis I Novalija, D Mladeni? – Applied Artificial Intelligence, 2013 – Taylor & Francis … The doctor was holding pills on his palm ? (PALM is part of hand. Cyc’s representation language is known as CycL. It is essentially an augmented version of first-order predicate calculus (FOPC). … 2003 . An interactive dialogue system for knowledge acquisition in Cyc. … Related articles All 3 versions

Language Processing with Perl and Prolog P Nugues – Cognitive Technologies, 2014 – Springer Page 1. Cognitive Technologies Pierre M. Nugues Language Processing with Perl and Prolog Theories, Implementation, and Application Second Edition Page 2. Cognitive Technologies Managing Editors: DM Gabbay J. Siekmann … Related articles All 10 versions

A proposal for knowledge-based labeling of semantic relationships in English A Tribble – 2005 – cs.cmu.edu Page 1. A Proposal for Knowledge-Based Labeling of Semantic Relationships in English Alicia Tribble March 20, 2005 2005-03-20 10:15 1 Page 2. Contents 1 Introduction 3 2 Thesis 5 2.1 Linguistic and Semantic Scope . . . . . 5 … Cited by 1 Related articles All 4 versions

Sources of World Knowledge E Ovchinnikova – Integration of World Knowledge for Natural Language …, 2012 – Springer Page 1. Chapter 3 Sources of World Knowledge In the area of artificial intelligence, interest to model world knowledge computationally arose in the late 1960s. The first proposals in this direction were Quillian’s (1968) seman … All 2 versions

Natural Language Processing-A Survey K Mote – arXiv preprint arXiv:1209.6238, 2012 – arxiv.org … 2.3.1 Definitions: “The Meaning of Meaning” ….43 2.3.2 Meaning- Representation: “First-Order Predicate Calculus” ….45 2.3.3 Semantic Composition: Assigning Interpretations to Utterances…..51 … Related articles All 2 versions

Unhappy bedfellows: the relationship of AI and IR YA Wilks – Charting a New Course: Natural Language Processing …, 2005 – Springer … that KSJ is not targeting all of AI, which might well be taken to include IR on a broad definition, but a core of AI, basically the strong representationalist tradition, one usually (but not always, as in the case of Schank above) associated with the use of first order predicate calculus. … Cited by 4 Related articles All 7 versions

A stimulus-response framework for robot control M Gianni, GJM Kruijff, F Pirri – ACM Transactions on Interactive …, 2015 – dl.acm.org … stimuli, in the sense that they trigger some alert on the information process transduced by an executive process of an active robot component such as, for the example, the battery, the WiFi, the attention system, the mapping system, the engines, the dialog system, the interface, or … Cited by 1

It is necessary and possible to build (multilingual) NL-based restricted e-commerce systems with mixed sublanguage and content-oriented methods D Daoud – 2006 – tel.archives-ouvertes.fr Page 1. It is necessary and possible to build (multilingual) NL-based restricted e-commerce systems with mixed sublanguage and content-oriented methods Daoud Daoud To cite this version: Daoud Daoud. It is necessary and … Cited by 8 Related articles All 6 versions

[BOOK] Ubiquitous user modeling D Heckmann – 2006 – books.google.com Page 1. DISKI 297 Ubiquitous User Modeling Dominikus Heckmann ” • Page 2. Page 3. DISKI 297 Page 4. DISKI Dissertationen zur Kiinstlichen Intelligenz Mit Unterstiitzung des Fachbereichs I ,,Kiinstliche Intelligenz” der Gesellschaft … Cited by 186 Related articles All 22 versions

Realization of natural language interfaces using lazy functional programming RA Frost – ACM Computing Surveys (CSUR), 2006 – dl.acm.org Page 1. Realization of Natural Language Interfaces Using Lazy Functional Programming Richard A. Frost University of Windsor The construction of natural language interfaces to computers continues to be a major challenge. … Cited by 24 Related articles All 11 versions

Question answering I Habernal, M Konopík, O Rohlík – Next Generation Search …, 2012 – books.google.com Page 324. 304 Chapter 14 Question Answering Ivan Habernal University of West Bohemia, Czech Republic Miloslav Konopík University of West Bohemia, Czech Republic Ond?ej Rohlík University of West Bohemia, Czech Republic … Cited by 3 Related articles All 3 versions

Evaluation of initiatives for morpho-syntactic and syntactic annotation ID Deliverable – lirics.loria.fr … For instance, a model for the language of standard first-order predicate calculus, PL1, has the form MPL1 = <D, F> where D is a set … Annotated dialogue corpora are important sources of information for the design of spoken dialogue systems, for the development of interactive text … Related articles All 3 versions

Ontology Extension Using Text Mining For News Analysis I Novalija – slais.ijs.si … It is essentially an augmented version of first-order predicate calculus (FOPC). … The semi-automatic approach for ontology extension presented in (Witbrock et al., 2003) is based on the user-interactive dialogue system for knowledge acquisition, where, the user is engaged in a … Related articles

A History of Computing Research* at Bell Laboratories (1937-1975) BD Holbrook, WS Brown – pdf.k0nsl.org Page 1. Computing Science Technical Report No. 99 A History of Computing Research* at Bell Laboratories (1937-1975) Bernard D. Holbrook W. Stanley Brown 1. INTRODUCTION Basically there are two varieties of modern … Related articles All 36 versions

Linguistic structure prediction NA Smith – Synthesis lectures on human language …, 2011 – morganclaypool.com … Semantic Role Labeling Martha Palmer, Daniel Gildea, and Nianwen Xue 2010 Spoken Dialogue Systems Kristiina Jokinen and Michael McTear 2009 Introduction to Chinese Natural Language Processing Kam-Fai Wong, Wenjie Li, Ruifeng Xu, and Zheng-sheng Zhang 2009 … Cited by 53 Related articles All 10 versions

Knowledge Based Perceptual Anchoring: Grounding percepts to concepts in cognitive robots M Daoutis – Künstliche Intelligenz, 2013 – aass.oru.se Page 1. Doctoral Dissertation Knowledge Based Perceptual Anchoring: Grounding percepts to concepts in cognitive robots Marios Daoutis Computer Science Örebro Studies in Technology 55 Örebro 2013 Page 2. Page 3. Knowledge Based Perceptual Anchoring: Grounding … Cited by 5 Related articles All 7 versions

Interpreting the Temporal Aspects of Language N UzZaman – 2012 – derczynski.com … Research – Summer 2011), medical NLP (Microsoft Medical Media Lab – Sum- mer 2009), and car dialog systems (Bosch Research and Technology Center – Summer 2008). Page 5. iv … extraction, document summarization and dialog systems. These techniques … Cited by 4 Related articles All 15 versions

Generic task planning using semantic annotations in maps C Navarro Luzón – 2007 – kola.opus.hbz-nrw.de … 1 [FN71], a problem solver based on first-order predicate calculus. STRIPS tries to find a sequence of steps that lead from an initial world model to a final world model, in which a certain goal condition can be proven to be true. … Related articles

[BOOK] Integration of world knowledge for natural language understanding E Ovchinnikova – 2012 – books.google.com … entails the second one. Concerning natural language processing (NLP), this type of reasoning is intended to facilitate such applications as, for example, question answering, information extraction, and dialog systems. In spite of … Cited by 10 Related articles All 6 versions

Personalized City Tours-An Extension of the OGC OpenLocation Specification MM Jöst – 2009 – archiv.ub.uni-heidelberg.de Page 1. INAUGURAL – DISSERTATION Zur Erlangung der Doktorwürde der Naturwissenschaftlich- Mathematischen Gesamtfakultät der Ruprechts-Karls-Universität Heidelberg Vorgelegt von: Matthias Michael Jöst Aus: Oftersheim Tag der mündlichen Prüfung: Page 2. Page 3. … Cited by 3 Related articles All 6 versions

Hierarchical language modeling for one-stage stochastic interpretation of natural speech. M Thomae – 2006 – mediatum.ub.tum.de … The methods for speech understanding presented in this thesis are also based on the limited-domain assump- tion. Investigations are performed by use of a test system built from a speech data collection for a German airport information dialogue system scenario. … Related articles All 7 versions

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

Probabilistic models in building automation: recognizing scenarios with statistical methods DID Bruckner – 2007 – ars.ict.tuwien.ac.at Page 1. DISSERTATION Probabilistic Models in Building Automation: Recognizing Scenarios with Statistical Methods Submitted at the Faculty of Electrical Engineering and Information Technology, Vienna University of Technology … Cited by 34 Related articles All 2 versions

Answering open-domain temporally restricted questions in a multilingual context R Basten – Master’s thesis, University of Twente and LT- …, 2005 – fotoalbumgeerte.berteun.nl … dialogue system System that interacts with its users in order to give them information or accomplish some task for them. … The Robinson resolution al- gorithm (Robinson, 1965) was a very simple uniform proof procedure for first-order predicate calculus that was (1) uniform, so the … Cited by 2 Related articles All 5 versions

Computational Pragmatics L Benotti, N France – 2009 – thesis-benotti.googlecode.com … 14 1.3.3 Tacit acts to rule them all . . . . . 15 1.4 Empirical analysis in situated conversation . . . . . 17 1.5 Analysis by syntesis in dialogue systems . . . . . 19 1.6 A map of the thesis . . . . . 21 II The theory 25 … Related articles All 2 versions

[BOOK] Concurrent Objects and Beyond: Papers Dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday G Agha, A Igarashi, N Kobayashi, H Masuhara… – 2014 – books.google.com Page 1. Gul Agha Atsushi Igarashi Naoki Kobayashi Hidehiko Masuhara Satoshi Matsuoka Etsuya Shibayama Kenjiro Taura (Eds.) Concurrent Objects and Beyond Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday 123 Page 2. … Related articles All 2 versions

[BOOK] The pragmatics encyclopedia L Cummings – 2010 – books.google.com Page 1. The Pragmatics Encyclopedia Edited by Louise Cummings Page 2. The Pragmatics Encyclopedia This single-volume encyclopedia covers the growing area of pragmatics: the analysis of lan- guage in context. Pragmatics … Cited by 19 Related articles All 2 versions

Answering questions about archived, annotated meetings M Ailomaa – 2009 – infoscience.epfl.ch Page 1. POUR L’OBTENTION DU GRADE DE DOCTEUR ÈS SCIENCES acceptée sur proposition du jury: Prof. M. Hasler, président du jury Dr M. Rajman, directeur de thèse Prof. N. Castell, rapporteur Prof. P. Dillenbourg, rapporteur Prof. J. Moeschler, rapporteur … Cited by 5 Related articles All 4 versions

The Algorithmic Expansion of Stories CM Thomas – 2010 – qspace.library.queensu.ca … For example, a spoken-dialogue system is representative of the loop involving an NLU, NLG and various knowledge bases. … of the First Order Predicate Calculus. However, this expressiveness comes at the cost of decreased user-friendliness. … Related articles All 2 versions

TeleMorph & TeleTuras: Bandwidth Determined Mobile Multimodal Presentation AJ Solon – 2006 – paulmckevitt.com Page 1. TeleMorph & TeleTuras: Bandwidth Determined Mobile Multimodal Presentation Anthony J. Solon B.Sc. Faculty of Engineering University of Ulster A thesis submitted in partial fulfilment of the requirements for the degree of Doctor of Philosophy December 2006 Page 2. ii … Related articles All 2 versions

Concurrent Objects and Beyond GAA Igarashi, NKH Masuhara, SME Shibayama… – Springer Page 1. Gul Agha Atsushi Igarashi Naoki Kobayashi Hidehiko Masuhara Satoshi Matsuoka Etsuya Shibayama Kenjiro Taura (Eds.) Concurrent Objects and Beyond Festschrift LNCS 8665 Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday 123 Page 2. … Related articles

Computational Humour JW Tinholt – 2007 – hmi.ewi.utwente.nl Page 1. Computational Humour Utilizing cross-reference ambiguity for conversational jokes JW Tinholt Faculty of Electrical Engineering, Mathematics and Computer Science Department of Human Media Interaction University of Twente … Related articles All 2 versions

A methodology of error detection: Improving speech recognition in radiology KD Voll – 2006 – org.buffalo.edu … 157 B.2.1 First Order Predicate Calculus (FOPC) . . . . 158 … in radiology reporting. Previous work has focused on dialogue systems, giving rise to a variety of error-detection techniques that could be extended to radiology report dictation. … Cited by 15 Related articles All 6 versions