Search results for "pragmatics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Massimo Idini, Marco Maratea	TSAT++: an Open Platform for Satisfiability Modulo Theories.	D/PDPAR@IJCAR	2004	DBLP DOI BibTeX RDF
18	Jian Zhang, Zhuo Huang	Reducing Symmetries to Generate Easier SAT Instances.	D/PDPAR@IJCAR	2004	DBLP DOI BibTeX RDF
18	Robert Klapper, Aaron Stump	Validated Proof-Producing Decision Procedures.	D/PDPAR@IJCAR	2004	DBLP DOI BibTeX RDF
18	Dominique Larchey-Wendling	Gödel-Dummett Counter-models through Matrix Computation.	D/PDPAR@IJCAR	2004	DBLP DOI BibTeX RDF
18	Clark W. Barrett, Jacob Donham	Combining SAT Methods with Non-Clausal Decision Heuristics.	D/PDPAR@IJCAR	2004	DBLP DOI BibTeX RDF
18	Pascal Fontaine, E. Pascal Gribomont	Combining Non-stably Infinite, Non-first Order Theories.	D/PDPAR@IJCAR	2004	DBLP DOI BibTeX RDF
18	Didier Galmiche, Daniel Méry	Resource Graphs and Countermodels in Resource Logics.	D/PDPAR@IJCAR	2004	DBLP DOI BibTeX RDF
18	Tjark Weber	Bounded Model Generation for Isabelle/HOL.	D/PDPAR@IJCAR	2004	DBLP DOI BibTeX RDF
18	Simon Colton, Alison Pease	The TM System for Repairing Non-Theorems.	D/PDPAR@IJCAR	2004	DBLP DOI BibTeX RDF
18	Sergey Berezin, Clark W. Barrett, Igor Shikanian, Marsha Chechik, Arie Gurfinkel, David L. Dill	A Practical Approach to Partial Functions in CVC Lite.	D/PDPAR@IJCAR	2004	DBLP DOI BibTeX RDF
18	Leonardo Mendonça de Moura, Harald Rueß, Natarajan Shankar	Justifying Equality.	D/PDPAR@IJCAR	2004	DBLP DOI BibTeX RDF
18	Paul Piwek	A Flexible Pragmatics-driven Language Generator for Animated Agents	CoRR	2003	DBLP BibTeX RDF
18	Bran Selic	The Pragmatics of Model-Driven Development.	IEEE Softw.	2003	DBLP DOI BibTeX RDF
18	Gianluigi Bellin, Kurt Ranalter	A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP.	J. Log. Comput.	2003	DBLP DOI BibTeX RDF
18	Juan Manuel Serrano, Sascha Ossowski, Alberto Fernández 0002	The Pragmatics of Software Agents: Analysis and Design of Agent Communication Languages.	AgentLink	2003	DBLP DOI BibTeX RDF
18	Paul Piwek	A Flexible Pragmatics-Driven Language Generator for Animated Agents.	EACL	2003	DBLP BibTeX RDF
18	Paul Piwek	A Flexible Pragmatics-Driven Language Generator for Animated Agents.	EACL	2003	DBLP BibTeX RDF
18	Pål Sørgaard	Co-Ordination of E-Government - Between politics and pragmatics.	Diffusion and Adoption of Networked Information Technologies	2003	DBLP DOI BibTeX RDF
18	Philippe Pasquier, Brahim Chaib-draa	The cognitive coherence approach for agent communication pragmatics.	AAMAS	2003	DBLP DOI BibTeX RDF	dialogue utility, dissonance, coherence, agent communication, pragmatic
18	Frederick R. M. Barnes	Dynamics and pragmatics for high performance concurrency.		2003	RDF
18	Stephen Graham Jenkins	An object oriented and visual data analysis environment : semantics and pragmatics of multi language programming.		2003	RDF
18	Kwong Bor Ng	The applicability of universal pragmatics in information retrieval interaction: a pilot study.	Inf. Process. Manag.	2002	DBLP DOI BibTeX RDF
18	Peter D. Mosses	Pragmatics of Modular SOS.	AMAST	2002	DBLP DOI BibTeX RDF
18	Paul Dekker	Dynamics and Pragmatics of 'Peirce's Puzzle'.	J. Semant.	2001	DBLP DOI BibTeX RDF
18	Manuel García-Carpintero Sánchez-Miguel	Gricean Rational Reconstructions And The Semantics/Pragmatics Distinction.	Synth.	2001	DBLP DOI BibTeX RDF
18	Wolfram Hinzen	The Pragmatics Of Inferential Content.	Synth.	2001	DBLP DOI BibTeX RDF
18	Ruth Manor	On The Overlap Of Pragmatics And Semantics.	Synth.	2001	DBLP DOI BibTeX RDF
18	Petr Sgall	A Remark on Semantics and Pragmatics in Natural Language.	Prague Bull. Math. Linguistics	2001	DBLP BibTeX RDF
18	Bart Massey, Keith Packard	Nickle: Language Principles and Pragmatics.	USENIX Annual Technical Conference, FREENIX Track	2001	DBLP BibTeX RDF
18	Tomoko Matsui	Experimental Pragmatics: Towards Testing Relevance-Based Predictions about Anaphoric Bridging Inferences.	CONTEXT	2001	DBLP DOI BibTeX RDF
18	Susana Pajares Tosca	A Pragmatics of Links.	J. Digit. Inf.	2000	DBLP BibTeX RDF
18	Jens Allwood	An activity-based approach to pragmatics.	Abduction, Belief and Context in Dialogue	2000	DBLP DOI BibTeX RDF
18	Harry Bunt	Dialogue pragmatics and context specification.	Abduction, Belief and Context in Dialogue	2000	DBLP DOI BibTeX RDF
18	Harry Bunt, William Black	The ABC of Computational Pragmatics.	Abduction, Belief and Context in Dialogue	2000	DBLP DOI BibTeX RDF
18	Gérard Sabah	Pragmatics in language understanding and cognitively motivated architectures.	Abduction, Belief and Context in Dialogue	2000	DBLP DOI BibTeX RDF
18	Yasunari Harada, Kumiko Honda	Accessibility among Situations : Pragmatics of Disjunction in Japanese.	PACLIC	2000	DBLP BibTeX RDF
18	Rance Cleaveland	Pragmatics of Model Checking: An STTT Special Section.	Int. J. Softw. Tools Technol. Transf.	1999	DBLP DOI BibTeX RDF	Model checking, Temporal logic, State explosion, System verification
18	Natarajan Shankar, Sam Owre	Principles and Pragmatics of Subtyping in PVS.	WADT	1999	DBLP DOI BibTeX RDF
18	Erzsébet Csuhaj-Varjú, María Dolores Jiménez-López, Carlos Martín-Vide	Pragmatics and Eco-Rewriting Systems.	Grammatical Models of Multi-Agent Systems	1999	DBLP BibTeX RDF
18	Nicholas Asher, Alex Lascarides	The Semantics and Pragmatics of Presupposition.	J. Semant.	1998	DBLP DOI BibTeX RDF
18	Reinhard Blutner	Lexical Pragmatics.	J. Semant.	1998	DBLP DOI BibTeX RDF
18	Richard Coyne	Cyberspace and Heidegger's pragmatics.	Inf. Technol. People	1998	DBLP DOI BibTeX RDF
18	Mark G. Lee	Belief, rationality and inference : a general theory of computational pragmatics.		1998	RDF
18	Amichai Kronfeld, Lawrence Roberts	Pragmatics & Cognition announces a special issue on The Concept of Reference in the Cognitive Sciences.	J. Exp. Theor. Artif. Intell.	1997	DBLP DOI BibTeX RDF
18	Lucja Iwanska	Reasoning with Intensional Negative Adjectivals: Semantics, Pragmatics, and Context.	Comput. Intell.	1997	DBLP DOI BibTeX RDF
18	Ann A. Copestake, Alex Lascarides	Integrating Symbolic and Statistical Representations: The Lexicon Pragmatics Interface.	ACL	1997	DBLP BibTeX RDF
18	Colin T. Schmidt	The Person-Machine Confrontation: Investigations into the Pragmatics of Dialogism.	AI Soc.	1996	DBLP DOI BibTeX RDF
18	David Good	Pragmatics and Presence.	AI Soc.	1996	DBLP DOI BibTeX RDF
18	Hartmut Haberland	Cognitive Technology and Pragmatics: Analogies and (Non-)Alignments.	AI Soc.	1996	DBLP DOI BibTeX RDF
18	Roger Lindsay	Cognitive Technology and the Pragmatics of Impossible Plans - A Study in Cognitive Prosthetics.	AI Soc.	1996	DBLP DOI BibTeX RDF
18	Olivier Danvy	Pragmatics of Type-Directed Partial Evaluation.	Dagstuhl Seminar on Partial Evaluation	1996	DBLP DOI BibTeX RDF
18	S. Abed, R. James	Agents At Work - Pragmatics of Applying Agent Technology.	PAAM	1996	DBLP BibTeX RDF
18	Stephen Helmreich, David Farwell	Translation differences and pragmatics-based MT.	AMTA	1996	DBLP BibTeX RDF
18	Foster J. Provost, Bruce G. Buchanan	Inductive Policy: The Pragmatics of Bias Selection.	Mach. Learn.	1995	DBLP DOI BibTeX RDF
18	Megumi Kameyama	Indefeasible Semantics and Defeasible Pragmatics	CoRR	1995	DBLP BibTeX RDF
18	John F. Sowa	Syntax, Semantics, and Pragmatics of Contexts.	ICCS	1995	DBLP DOI BibTeX RDF
18	Anthony Mark McEnery	Computational pragmatics : probability, deeming and uncertain references.		1995	RDF
18	Martin Gogolla	Fundamentals and Pragmatics of an Entity-Relationship Approach.	GI Datenbank Rundbrief	1994	DBLP BibTeX RDF
18	Martin Gogolla	An Extended Entity-Relationship Model - Fundamentals and Pragmatics		1994	DOI RDF
18	Sheryl R. Young	Estimating recognition confidence: methods for conjoining acoustics, semantics, pragmatics and discourse.	ICSLP	1994	DBLP DOI BibTeX RDF
18	Keiko Horiguchi	Processing Pragmatics for Computer-Assisted Language Instruction.	AAAI	1994	DBLP BibTeX RDF
18	William M. Farmer, Joshua D. Guttman, Mark E. Nadel, F. Javier Thayer	Proof Script Pragmatics in IMPS.	CADE	1994	DBLP DOI BibTeX RDF
18	Gabriella Airenti, Bruno G. Bara, Marco Colombetti	Conversation and Bahavior Games in the Pragmatics of Dialogue.	Cogn. Sci.	1993	DBLP DOI BibTeX RDF
18	Kenny R. Coventry, Tim Blackwell	Pragmatics in Language and Music.	Music Education: An Artificial Intelligence Approach	1993	DBLP DOI BibTeX RDF
18	Alex Lascarides, Nicholas Asher	A Semantics and Pragmatics for the Pluperfect.	EACL	1993	DBLP BibTeX RDF
18	Khurshid Ahmad 0001	Pragmatics of Specialist Terms: The Acquisition and Representation of Terminology.	EAMT Workshop	1993	DBLP DOI BibTeX RDF
18	Joakim Nivre	Pragmatics Through Context Management.	NODALIDA	1993	DBLP BibTeX RDF
18	Gerald R. Heuring	Pragmatics of File Migration		1993	RDF
18	Stephen P. Thomas	The pragmatics of closure reduction.		1993	RDF
18	Jens Allwood, Joakim Nivre, Elisabeth Ahlsén	On the Semantics and Pragmatics of Linguistic Feedback.	J. Semant.	1992	DBLP DOI BibTeX RDF
18	Grady Booch	The pragmatics of building object-oriented systems (abstract).	OOPSLA Addendum	1992	DBLP DOI BibTeX RDF
18	Jean Tague-Sutcliffe	The Pragmatics of Information Retrieval Experimentation Revisited.	Inf. Process. Manag.	1992	DBLP DOI BibTeX RDF
18	Carsten K. Gomard	A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	partial evaluation, lambda calculus, compiler generation, self-application
18	Vilém Novák	The alternative mathematical model of linguistic semantics and pragmatics.		1992	RDF
18	Masaaki Nagata	Using pragmatics to rule out recognition errors in cooperative task-oriented dialogues.	ICSLP	1992	DBLP DOI BibTeX RDF
18	Marion Schulz, Daniela Schmidt	Yes/No Questions with Negation: Towards Integrating Semantics and Pragmatics.	GWAI	1992	DBLP DOI BibTeX RDF
18	Robert E. Mercer	Presuppositions and Default Reasoning: A Study in Lexical Pragmatics.	SIGLEX Workshop	1991	DBLP DOI BibTeX RDF
18	Sheryl R. Young	Use of dialogue, pragmatics and sematics to enhance speech recognition.	Speech Commun.	1990	DBLP DOI BibTeX RDF
18	Eduard H. Hovy	Pragmatics and Natural Language Generation.	Artif. Intell.	1990	DBLP DOI BibTeX RDF
18	James Clifford	Formal semantics and pragmatics for natural language querying.		1990	RDF
18	Hitoshi Iida, Takayuki Yamaoka, Hidekazu Arita	Three Typed Pragmatics for Dialogue Structure Analysis.	COLING	1990	DBLP BibTeX RDF
18	Chris M. N. Tofts	Proof methods and pragmatics for parallel programming.		1990	RDF
18	Sandra Carberry	A Pragmatics-Based Approach to Ellipsis Resolution.	Comput. Linguistics	1989	DBLP BibTeX RDF
18	Hans-Joachim Klein 0001	Pragmatics and semantics of NQL, a descriptive query language for network databases.	Inf. Syst.	1989	DBLP DOI BibTeX RDF
18	Roland Hausser	Computation of language - an essay on syntax, semantics and pragmatics in natural man-machine communication.		1989	RDF
18	S. R. Young	Use of dialogue, pragmatics and semantics to enhance speech recognition: applicability and limitations of dynamically reducing perplexity.	EUROSPEECH	1989	DBLP BibTeX RDF
18	Hideto Tomabechi, Masaru Tomita	The Integration of Unification-Based Syntax/Semantics and Memory-Based Pragmatics for Real-Time Understanding of Noisy Continuous Speech Input.	AAAI	1988	DBLP BibTeX RDF
18	Eric Werner	A formal computational semantics and pragmatics of speech acts.	COLING	1988	DBLP BibTeX RDF
18	Giuseppe Scollo	Typed-Equational Types: Pragmatics.	ADT	1988	DBLP BibTeX RDF
18	Werner Fey	Pragmatics, concepts, syntax, semantics and correctness notions ACT TWO: an algebraic module specification and interconnection language.		1988	RDF
18	Marjorie Templeton, Eric Lund, Pat Ward	Pragmatics of Access Control in Mermaid.	IEEE Data Eng. Bull.	1987	DBLP BibTeX RDF
18	Jeff Shrager, Daniel S. Jordan, Thomas P. Moran, Gregor Kiczales, Daniel M. Russell	Issues in the Pragmatics of Qualitative Modeling: Lessons Learned from a Xerographics Project.	Commun. ACM	1987	DBLP DOI BibTeX RDF
18	Jerry R. Hobbs, Paul A. Martin	Local Pragmatics.	IJCAI	1987	DBLP BibTeX RDF
18	Annely Rothkegel	Pragmatics in Machine Translation.	COLING	1986	DBLP BibTeX RDF
18	Annette Herskovits	Semantics and Pragmatics of Locative Expressions.	Cogn. Sci.	1985	DBLP DOI BibTeX RDF
18	Edgar H. Sibley	Pragmatics of Database Management (Panel).	SIGMOD Conference	1985	DBLP DOI BibTeX RDF
18	Sandra Carberry	A Pragmatics-Based Approach to Understanding Intersentential Ellipsis.	ACL	1985	DBLP BibTeX RDF
18	Philip R. Cohen	The Pragmatics of Referring and the Modality of Communication.	Comput. Linguistics	1984	DBLP BibTeX RDF
18	Edward W. Elcock	The Pragmatics of Prolog: Some Comments.	Logic Programming Workshop	1983	DBLP BibTeX RDF
18	Manfred Gehrke	Syntax, Semantics, and Pragmatics in Concert: An Incremental, Multilevel Approach in Reconstructing Task-Oriented Dialogues.	IJCAI	1983	DBLP BibTeX RDF