Search results for "pragmatics"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Maxime Crepel	Tagging et folksonomies : pragmatique de l'orientation sur le Web. (Tagging and Folksonomies : pragmatics of orientation on the Web).		2011	RDF
18	Sasha Calhoun, Jean Carletta, Jason M. Brenier, Neil Mayo, Dan Jurafsky, Mark Steedman, David Beaver	The NXT-format Switchboard Corpus: a rich resource for investigating the syntax, semantics, pragmatics and prosody of dialogue.	Lang. Resour. Evaluation	2010	DBLP DOI BibTeX RDF
18	Napoleon Katsos, Chris Cummins	Pragmatics: From Theory to Experiment and Back Again.	Lang. Linguistics Compass	2010	DBLP DOI BibTeX RDF
18	Noriko Ishihara	Instructional Pragmatics: Bridging Teaching, Research, and Teacher Education.	Lang. Linguistics Compass	2010	DBLP DOI BibTeX RDF
18	Napoleon Katsos, Chris Cummins	Teaching and Learning Guide for: Pragmatics: From Theory to Experiment and Back Again.	Lang. Linguistics Compass	2010	DBLP DOI BibTeX RDF
18	Bing-zhang Wu	Stereotypical Relations and Utterance Understanding: An Introduction to Xu Sheng-Huan's Stereotypical Relation-Based Approach to Pragmatics.	Lang. Linguistics Compass	2010	DBLP DOI BibTeX RDF
18	Philippe De Brabanter	The Semantics and Pragmatics of Hybrid Quotations.	Lang. Linguistics Compass	2010	DBLP DOI BibTeX RDF
18	Christopher Archibald, Alon Altman, Michael A. Greenspan, Yoav Shoham	Computational Pool: A New Challenge for Game Theory Pragmatics.	AI Mag.	2010	DBLP DOI BibTeX RDF
18	Dirk Draheim, Melanie Himsl, Daniel Jabornig, Josef Küng, Werner Leithner, Peter Regner, Thomas Wiesinger	Concept and pragmatics of an intuitive visualization-oriented metamodeling tool.	J. Vis. Lang. Comput.	2010	DBLP DOI BibTeX RDF
18	Christian Licoppe	The "Crisis of the Summons": A Transformation in the Pragmatics of "Notifications, " from Phone Rings to Instant Messaging.	Inf. Soc.	2010	DBLP DOI BibTeX RDF
18	Marianne Corvera Charaf, Christoph Rosenkranz	Natural Language Alignment as a Process: Applying Functional Pragmatics in Information Systems Development.	ECIS	2010	DBLP BibTeX RDF
18	Ivan Launders, Simon Polovina, Richard Hill	Semantics and Pragmatics in Enterprise Architecture Through Transaction Agent Modelling.	ICISO	2010	DBLP BibTeX RDF
18	Klaus-Dieter Schewe, Bernhard Thalheim	Pragmatics of Storyboarding - Web Information Systems Portfolios.	WEBIST (2)	2010	DBLP BibTeX RDF
18	Klaus-Dieter Schewe, Bernhard Thalheim	Web Information Systems Portfolios: A Contribution to Pragmatics.	WEBIST (Selected Papers)	2010	DBLP DOI BibTeX RDF
18	Adrian Kügel	Improved Exact Solver for the Weighted MAX-SAT Problem.	POS@SAT	2010	DBLP DOI BibTeX RDF
18	Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy	On Solving MaxSAT Through SAT.	POS@SAT	2010	DBLP DOI BibTeX RDF
18	Youssef Hamadi	From Parallel SAT to Distributed SAT.	POS@SAT	2010	DBLP DOI BibTeX RDF
18	Norbert Manthey, Ari Saptawijaya	Towards Improving the Resource Usage of SAT-solvers.	POS@SAT	2010	DBLP DOI BibTeX RDF
18	Mate Soos	Enhanced Gaussian Elimination in DPLL-based SAT Solvers.	POS@SAT	2010	DBLP DOI BibTeX RDF
18	Jonas Åkerman	A plea for pragmatics.	Synth.	2009	DBLP DOI BibTeX RDF
18	Elizabeth Keating	Power and Pragmatics.	Lang. Linguistics Compass	2009	DBLP DOI BibTeX RDF
18	Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp	Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2009	DBLP DOI BibTeX RDF
18	Michael L. Scott	Programming Language Pragmatics (3. ed.).		2009	RDF
18	Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frédéric Jouault, Alexander Knapp	Ninth International Workshop on the Pragmatics of OCL and Other Textual Specification Languages.	MoDELS (Workshops)	2009	DBLP DOI BibTeX RDF
18	Sang-Hee Park	Resolving Multiple Wh-Fragments: A Syntax-Pragmatics Approach.	PACLIC	2009	DBLP BibTeX RDF
18	Pascal Hitzler	Towards Reasoning Pragmatics.	GeoS	2009	DBLP DOI BibTeX RDF
18	Pierre Martin 0001	L'assemblage de programmes au sein de plateformes logicielles : Syntaxe, Sémantique et Pragmatique. Application aux plateformes dédiées aux simulations en agronomie. (The assembly of programs in software platforms: syntax, semantic, and pragmatics. Application to platforms devoted to simulations in agronomy).		2009	RDF
18	Kurt Ranalter	A Semantic Analysis of a Logic for Pragmatics with Assertions, Obligations, and Causal Implication.	Fundam. Informaticae	2008	DBLP BibTeX RDF
18	Richard Breheny	A New Look at the Semantics and Pragmatics of Numerically Quantified Noun Phrases.	J. Semant.	2008	DBLP DOI BibTeX RDF
18	Isidora Stojanovic	The semantics/pragmatics distinction.	Synth.	2008	DBLP DOI BibTeX RDF
18	Brendan S. Gillon	On the semantics/pragmatics distinction.	Synth.	2008	DBLP DOI BibTeX RDF
18	Robyn Carston	Linguistic communication and the semantics/pragmatics distinction.	Synth.	2008	DBLP DOI BibTeX RDF
18	Christopher Gauker	Zero tolerance for pragmatics.	Synth.	2008	DBLP DOI BibTeX RDF
18	Napoleon Katsos	The semantics/pragmatics interface from an experimental perspective: the case of scalar implicature.	Synth.	2008	DBLP DOI BibTeX RDF
18	Andreas H. Jucker	Historical Pragmatics.	Lang. Linguistics Compass	2008	DBLP DOI BibTeX RDF
18	Salvatore Attardo	Semantics and Pragmatics of Humor.	Lang. Linguistics Compass	2008	DBLP DOI BibTeX RDF
18	Stéphane Huet, Gwénolé Lecorvé, Guillaume Gravier, Pascale Sébillot	Toward the Integration of Natural Language Processing and Automatic Speech Recognition: Using Morpho-Syntax and Pragmatics for Transcription.	Multimodal Processing and Interaction	2008	DBLP DOI BibTeX RDF
18	Olivier Bonami, Danièle Godard	Lexical semantics and pragmatics of evaluative adverbs.	Adjectives and Adverbs	2008	DBLP BibTeX RDF
18	Hui Ma 0001, Klaus-Dieter Schewe, Bernhard Thalheim	Context Analysis: Toward Pragmatics of Web Information Systems Design.	APCCM	2008	DBLP BibTeX RDF
18	Hauke Fuhrmann, Reinhard von Hanxleden	On the Pragmatics of Model-Based Design.	Monterey Workshop	2008	DBLP DOI BibTeX RDF
18	Jaap Gordijn, Sybren de Kinderen, Vincent Pijpers, Hans Akkermans	e-Services in a Networked World: From Semantics to Pragmatics.	FIS	2008	DBLP DOI BibTeX RDF
18	Aylin Koca, Mathias Funk, Evangelos Karapanos, Anne Rozinat, Nico van der Gaarden	Grasping product pragmatics: a case with internet on tv.	UXTV	2008	DBLP DOI BibTeX RDF	product conceptualization, product usage logs, soft reliability, subjective user feedback, user experience evaluation
18	Hans Akkermans	The Business of Ontology calls for a Formal Pragmatics.	FOMI	2008	DBLP BibTeX RDF
18	Yoav Shoham	Game Theory Pragmatics: A Challenge for AI.	AAAI	2008	DBLP BibTeX RDF
18	David B. Grimes, Desney S. Tan, Scott E. Hudson, Pradeep Shenoy, Rajesh P. N. Rao	Feasibility and pragmatics of classifying working memory load with an electroencephalograph.	CHI	2008	DBLP DOI BibTeX RDF	memory load, machine learning, classification, feature selection, brain-computer interface, cognitive load, electroencephalography (eeg)
18	Makoto Yoshida, Yoshihiro Miyake, Nobuhiro Furuyama	Temporal development of pragmatics and dynamics in conversation for building consensus.	SMC	2008	DBLP DOI BibTeX RDF
18	Janis Voigtländer	Semantics and Pragmatics of New Shortcut Fusion Rules.	FLOPS	2008	DBLP DOI BibTeX RDF
18	Hans Weigand, Mikael Lind	On the pragmatics of network communication.	ICPW	2008	DBLP DOI BibTeX RDF	language/action, social networks, speech acts, business networks
18	Kalpana Shankar	Order from chaos: The poetics and pragmatics of scientific recordkeeping.	J. Assoc. Inf. Sci. Technol.	2007	DBLP DOI BibTeX RDF
18	Vladan Devedzic, Jelena Jovanovic 0001, Dragan Gasevic	The Pragmatics of Current E-Learning Standards.	IEEE Internet Comput.	2007	DBLP DOI BibTeX RDF	e-learning, distance learning, learning objects, Web-based education
18	Martin Montminy	Epistemic Contextualism and the Semantics-Pragmatics Distinction.	Synth.	2007	DBLP DOI BibTeX RDF
18	Klaus-Dieter Schewe, Bernhard Thalheim	Pragmatics of storyboarding for web information systems: usage analysis.	Int. J. Web Grid Serv.	2007	DBLP DOI BibTeX RDF
18	Egbert Ammicht, Eric Fosler-Lussier, Alexandros Potamianos	Information Seeking Spoken Dialogue Systems- Part I: Semantics and Pragmatics.	IEEE Trans. Multim.	2007	DBLP DOI BibTeX RDF
18	Joseph Y. Halpern, Riccardo Pucella	Dealing With Logical Omniscience: Expressiveness and Pragmatics	CoRR	2007	DBLP BibTeX RDF
18	James A. Mason	Louise Cummings, Review of Pragmatics: A Multidisciplinary Perspective, Edinburgh University Press (2005) ISBN 0-7486-1682-9 336 pp.	Cogn. Syst. Res.	2007	DBLP DOI BibTeX RDF
18	Frederico T. Fonseca, M. Andrea Rodríguez	From Geo-Pragmatics to Derivation Ontologies: New Directions for the GeoSpatial Semantic Web.	Trans. GIS	2007	DBLP DOI BibTeX RDF
18	Boyan Brodaric	Geo-Pragmatics for the Geospatial Semantic Web.	Trans. GIS	2007	DBLP DOI BibTeX RDF
18	Electra Tamani, Paraskevas Evripidou	Combining Pragmatics and Intelligence in Semantic Web Service Discovery.	OTM Workshops (2)	2007	DBLP DOI BibTeX RDF
18	Klaus-Dieter Schewe, Bernhard Thalheim	Life Cases - An Approach to Address Pragmatics in the Design of Web Information Systems.	WEBIST (2)	2007	DBLP BibTeX RDF
18	Harry S. Delugach	An evaluation of the pragmatics of web-based bug tracking tools.	ICPW	2007	DBLP DOI BibTeX RDF	software issue tracking, process models, conceptual graphs
18	Michael W. Mislove (eds.)	Combined Proceedings of the Fourth Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR 2006) and the First International Workshop on Probabilistic Automata and Logics (PaUL 2006), Parts of FloC 2006, Seattle, WA, USA, August 2006	PDPAR/PaUL@FLoC	2007	DBLP BibTeX RDF
18	Michael L. Scott	Programming language pragmatics (2. ed.).		2006	RDF
18	Christian Licoppe, Zbigniew Smoreda	Rhythms and Ties: Towards a Pragmatics of Technologically-mediated Sociability.	Computers, Phones, and the Internet	2006	DBLP BibTeX RDF
18	Arnon Rosenthal, Leonard J. Seligman	Pragmatics and Open Problems for Inter-schema Constraint Theory.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
18	Makoto Yoshida, Yoshihiro Miyake	Relationship between Utterance Dynamics and Pragmatics in the Conversation of Consensus Building Process.	RO-MAN	2006	DBLP DOI BibTeX RDF
18	Carl G. Looney	Intelligent Battle Gaming Pragmatics with Belief Network Trees.	CIG	2006	DBLP DOI BibTeX RDF
18	Anna Spagnolli, Luciano Gamberini	Multimodal spatial reference in mediated environments: users' preferences and the pragmatics of pointing and talking.	CHI Extended Abstracts	2006	DBLP DOI BibTeX RDF	mediated environments, indexicals, multimodality, pointing, frames of reference
18	David Farwell, Stephen Helmreich	Pragmatics-based MT and the Translation of Puns.	EAMT	2006	DBLP BibTeX RDF
18	Napoleon Katsos	Experimental investigations on implicatures: a window into the semantics/pragmatics interface.	ExLing	2006	DBLP BibTeX RDF
18	Victor Manuel García-Barrios	A Concept-based Enhancement of Didactical Goals and Learning Needs with a Dynamic Background Library: Semantics vs. Pragmatics.	ICALT	2006	DBLP DOI BibTeX RDF
18	Alessandro Armando, Alessandro Cimatti (eds.)	Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005	PDPAR@CAV	2006	DBLP BibTeX RDF
18	Clark W. Barrett, Igor Shikanian, Cesare Tinelli	An Abstract Decision Procedure for Satisfiability in the Theory of Recursive Data Types.	PDPAR/PaUL@FLoC	2006	DBLP DOI BibTeX RDF
18	Sava Krstic, Robert B. Jones, John O'Leary	Mothers of Pipelines.	PDPAR/PaUL@FLoC	2006	DBLP DOI BibTeX RDF
18	Swen Jacobs, Viorica Sofronie-Stokkermans	Applications of Hierarchical Reasoning in the Verification of Complex Systems.	PDPAR/PaUL@FLoC	2006	DBLP DOI BibTeX RDF
18	Maria Paola Bonacina, Mnacho Echenim	Rewrite-Based Satisfiability Procedures for Recursive Data Structures.	PDPAR/PaUL@FLoC	2006	DBLP DOI BibTeX RDF
18	Byron Cook, Roberto Sebastiani	Preface and Foreword.	PDPAR/PaUL@FLoC	2006	DBLP DOI BibTeX RDF
18	Michael W. Mislove	Editor's Note.	PDPAR/PaUL@FLoC	2006	DBLP DOI BibTeX RDF
18	Alessandro Tiberi	Probabilistic Configuration Theories.	PDPAR/PaUL@FLoC	2006	DBLP DOI BibTeX RDF
18	Sayan Mitra, Nancy A. Lynch	Proving Approximate Implementations for Probabilistic I/O Automata.	PDPAR/PaUL@FLoC	2006	DBLP DOI BibTeX RDF
18	Günther Görz, Bernd Ludwig	Speech Dialogue Systems - A Pragmatics-Guided Approach to Rational Interaction.	Künstliche Intell.	2005	DBLP BibTeX RDF
18	Philippe Pasquier, Brahim Chaib-draa	Agent communication pragmatics: the cognitive coherence approach.	Cogn. Syst. Res.	2005	DBLP DOI BibTeX RDF
18	David R. Dowty	The Effects of Aspectual Class on the Temporal Structure of Discourse: Semantics or Pragmatics?	The Language of Time - A Reader	2005	DBLP BibTeX RDF
18	Yurie Hara	Implicatures and Evidentiality of Because Complements at Syntax-Semantics-Pragmatics Interfaces.	JSAI Workshops	2005	DBLP DOI BibTeX RDF
18	Sabina Bordiga, Luigi Colazzo, Francesco Magagnino, Daniela Malinverni, Andrea Molinari	Models of pragmatics of man-machine interaction (Perspectives and problems in the Elementary Pragmatic Model experimentation).	DMS	2005	DBLP BibTeX RDF
18	Suk-Jin Chang	Form-Meaning Interface in Constraint-based Unified Grammar: Prosody and Pragmatics.	PACLIC	2005	DBLP BibTeX RDF
18	Wolfgang Ahrendt, Peter Baumgartner 0001, Hans de Nivelle, Silvio Ranise, Cesare Tinelli (eds.)	Selected Papers from the Workshops on Disproving, D@IJCAR 2004, and the Second International Workshop on Pragmatics of Decision Procedures, PDPAR@IJCAR 2004, Cork, Ireland, July 2004	D/PDPAR@IJCAR	2005	DBLP BibTeX RDF
18	Shuvendu K. Lahiri, Madanlal Musuvathi	An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals.	PDPAR@CAV	2005	DBLP DOI BibTeX RDF
18	Tjark Weber	Integrating a SAT Solver with an LCF-style Theorem Prover.	PDPAR@CAV	2005	DBLP DOI BibTeX RDF
18	Amir Pnueli, Ofer Strichman	Reduced Functional Consistency of Uninterpreted Functions.	PDPAR@CAV	2005	DBLP DOI BibTeX RDF
18	Sean McLaughlin, Clark W. Barrett, Yeting Ge	Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite.	PDPAR@CAV	2005	DBLP DOI BibTeX RDF
18	Jim Grundy, Thomas F. Melham, Sava Krstic, Sean McLaughlin	Tool Building Requirements for an API to First-Order Solvers.	PDPAR@CAV	2005	DBLP DOI BibTeX RDF
18	Ian Wehrman, Aaron Stump	Mining Propositional Simplification Proofs for Small Validating Clauses.	PDPAR@CAV	2005	DBLP DOI BibTeX RDF
18	Alessandro Armando, Alessandro Cimatti	Preface.	PDPAR@CAV	2005	DBLP DOI BibTeX RDF
18	Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani	Encoding RTL Constructs for MathSAT: a Preliminary Report.	PDPAR@CAV	2005	DBLP DOI BibTeX RDF
18	Germana M. da Nóbrega, Stefano A. Cerri, Jean Sallantin	A Contradiction-driven approach to theory formation: Conceptual issues, pragmatics in human laerning, potentialities.	J. Braz. Comput. Soc.	2004	DBLP DOI BibTeX RDF
18	Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang	Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract.	TERMGRAPH	2004	DBLP DOI BibTeX RDF
18	Lemuel R. Waitman, Randolph A. Miller	Editorial Comments: Pragmatics of Implementing Guidelines on the Front Lines.	J. Am. Medical Informatics Assoc.	2004	DBLP DOI BibTeX RDF
18	Gianluigi Bellin, Corrado Biasi	Towards a Logic for Pragmatics. Assertions and Conjectures.	J. Log. Comput.	2004	DBLP DOI BibTeX RDF
18	Matthias Nickles, Michael Rovatsos, Gerhard Weiß 0001	Formulating Agent Communication Semantics and Pragmatics as Behavioral Expectations.	AC	2004	DBLP DOI BibTeX RDF	Open Multiagent Systems, Computational Autonomy, Artificial Sociality, Stochastic Processes, Agent Communication Languages
18	Wolfgang Ahrendt, Peter Baumgartner 0001, Hans de Nivelle, Silvio Ranise, Cesare Tinelli	Preface.	D/PDPAR@IJCAR	2004	DBLP DOI BibTeX RDF