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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Resour. Evaluation ![In: Lang. Resour. Evaluation 44(4), pp. 387-419, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Napoleon Katsos, Chris Cummins |
Pragmatics: From Theory to Experiment and Back Again. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Linguistics Compass ![In: Lang. Linguistics Compass 4(5), pp. 282-295, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Noriko Ishihara |
Instructional Pragmatics: Bridging Teaching, Research, and Teacher Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Linguistics Compass ![In: Lang. Linguistics Compass 4(10), pp. 938-953, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Napoleon Katsos, Chris Cummins |
Teaching and Learning Guide for: Pragmatics: From Theory to Experiment and Back Again. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Linguistics Compass ![In: Lang. Linguistics Compass 4(10), pp. 1056-1062, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Linguistics Compass ![In: Lang. Linguistics Compass 4(1), pp. 27-41, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Philippe De Brabanter |
The Semantics and Pragmatics of Hybrid Quotations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Linguistics Compass ![In: Lang. Linguistics Compass 4(2), pp. 107-120, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Christopher Archibald, Alon Altman, Michael A. Greenspan, Yoav Shoham |
Computational Pool: A New Challenge for Game Theory Pragmatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Mag. ![In: AI Mag. 31(4), pp. 33-41, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Vis. Lang. Comput. ![In: J. Vis. Lang. Comput. 21(3), pp. 157-170, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Soc. ![In: Inf. Soc. 26(4), pp. 288-302, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Marianne Corvera Charaf, Christoph Rosenkranz |
Natural Language Alignment as a Process: Applying Functional Pragmatics in Information Systems Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIS ![In: 18th European Conference on Information Systems, ECIS 2010, Pretoria, South Africa, June 7-9, 2010, pp. 5, 2010, 978-0-620-47172-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
18 | Ivan Launders, Simon Polovina, Richard Hill |
Semantics and Pragmatics in Enterprise Architecture Through Transaction Agent Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISO ![In: ICISO 2010 - Proceedings of the Twelfth International Conference on Informatics and Semiotics in Organisations, Reading, UK, July 19-21, 2010, pp. 285-291, 2010, SciTePress, 978-989-8425-26-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
18 | Klaus-Dieter Schewe, Bernhard Thalheim |
Pragmatics of Storyboarding - Web Information Systems Portfolios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEBIST (2) ![In: WEBIST 2010, Proceedings of the 6th International Conference on Web Information Systems and Technologies, Volume 2, Valencia, Spain, April 7-10, 2010, pp. 40-47, 2010, INSTICC Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
18 | Klaus-Dieter Schewe, Bernhard Thalheim |
Web Information Systems Portfolios: A Contribution to Pragmatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEBIST (Selected Papers) ![In: Web Information Systems and Technologies - 6th International Conference, WEBIST 2010, Valencia, Spain, April 7-10, 2010, Revised Selected Papers, pp. 147-161, 2010, Springer, 978-3-642-22809-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Adrian Kügel |
Improved Exact Solver for the Weighted MAX-SAT Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010, pp. 15-27, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy |
On Solving MaxSAT Through SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010, pp. 41-48, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Youssef Hamadi |
From Parallel SAT to Distributed SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010, pp. 1, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Norbert Manthey, Ari Saptawijaya |
Towards Improving the Resource Usage of SAT-solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010, pp. 28-40, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Mate Soos |
Enhanced Gaussian Elimination in DPLL-based SAT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: POS-10. Pragmatics of SAT, Edinburgh, UK, July 10, 2010, pp. 2-14, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Jonas Åkerman |
A plea for pragmatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 170(1), pp. 155-167, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Elizabeth Keating |
Power and Pragmatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Linguistics Compass ![In: Lang. Linguistics Compass 3(4), pp. 996-1009, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 24, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Michael L. Scott |
Programming Language Pragmatics (3. ed.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers, pp. 256-260, 2009, Springer, 978-3-642-12260-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Sang-Hee Park |
Resolving Multiple Wh-Fragments: A Syntax-Pragmatics Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACLIC ![In: Proceedings of the 23rd Pacific Asia Conference on Language, Information and Computation, PACLIC 23, Hong Kong, China, December 3-5, 2009, pp. 435-443, 2009, City University of Hong Kong Press, 978-962-442-319-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
18 | Pascal Hitzler |
Towards Reasoning Pragmatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GeoS ![In: GeoSpatial Semantics, Third International Conference, GeoS 2009, Mexico City, Mexico, December 3-4, 2009. Proceedings, pp. 9-25, 2009, Springer, 978-3-642-10435-0. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
18 | Kurt Ranalter |
A Semantic Analysis of a Logic for Pragmatics with Assertions, Obligations, and Causal Implication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 84(3-4), pp. 443-470, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
18 | Richard Breheny |
A New Look at the Semantics and Pragmatics of Numerically Quantified Noun Phrases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Semant. ![In: J. Semant. 25(2), pp. 93-139, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Isidora Stojanovic |
The semantics/pragmatics distinction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 165(3), pp. 317-319, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Brendan S. Gillon |
On the semantics/pragmatics distinction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 165(3), pp. 373-384, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Robyn Carston |
Linguistic communication and the semantics/pragmatics distinction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 165(3), pp. 321-345, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Christopher Gauker |
Zero tolerance for pragmatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 165(3), pp. 359-371, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Napoleon Katsos |
The semantics/pragmatics interface from an experimental perspective: the case of scalar implicature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 165(3), pp. 385-401, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Andreas H. Jucker |
Historical Pragmatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Linguistics Compass ![In: Lang. Linguistics Compass 2(5), pp. 894-906, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Salvatore Attardo |
Semantics and Pragmatics of Humor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Linguistics Compass ![In: Lang. Linguistics Compass 2(6), pp. 1203-1215, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multimodal Processing and Interaction ![In: Multimodal Processing and Interaction, Audio, Video, Text, pp. 1-18, 2008, Springer, 978-0-387-76315-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Olivier Bonami, Danièle Godard |
Lexical semantics and pragmatics of evaluative adverbs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adjectives and Adverbs ![In: Adjectives and Adverbs - Syntax, Semantics, and Discourse., pp. 274-304, 2008, Oxford University Press, 978-0-19-921162-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
18 | Hui Ma 0001, Klaus-Dieter Schewe, Bernhard Thalheim |
Context Analysis: Toward Pragmatics of Web Information Systems Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCM ![In: Conceptual Modelling 2008, Fifth Asia-Pacific Conference on Conceptual Modelling (APCCM 2008), Wollongong, New South Wales, Australia, January 22-25 2008., pp. 69-78, 2008, Australian Computer Society, 978-1-920682-60-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
18 | Hauke Fuhrmann, Reinhard von Hanxleden |
On the Pragmatics of Model-Based Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Monterey Workshop ![In: Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers, pp. 116-140, 2008, Springer, 978-3-642-12565-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIS ![In: Future Internet - FIS 2008, First Future Internet Symposium, FIS 2008, Vienna, Austria, September 29-30, 2008, Revised Selected Papers, pp. 44-57, 2008, Springer, 978-3-642-00984-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UXTV ![In: Proceeding of the 1st International Conference on Designing Interactive User Experiences for TV and Video, UXTV 2008, Silicon Valley, California, USA, October 22-24, 2008, pp. 193-202, 2008, 978-1-60558-100-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOMI ![In: Formal Ontologies Meet Industry, Proceedings of the 3th Workshop FOMI 2008, June 5-6, 2008, Torino, Italy, pp. 10-16, 2008, IOS Press, 978-1-58603-871-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
18 | Yoav Shoham |
Game Theory Pragmatics: A Challenge for AI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008, pp. 1606-1608, 2008, AAAI Press, 978-1-57735-368-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2008 Conference on Human Factors in Computing Systems, CHI 2008, 2008, Florence, Italy, April 5-10, 2008, pp. 835-844, 2008, ACM, 978-1-60558-011-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Singapore, 12-15 October 2008, pp. 2419-2425, 2008, IEEE, 978-1-4244-2383-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Janis Voigtländer |
Semantics and Pragmatics of New Shortcut Fusion Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings, pp. 163-179, 2008, Springer, 978-3-540-78968-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Hans Weigand, Mikael Lind |
On the pragmatics of network communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPW ![In: Proceedings of the 3rd International Conference on Pragmatic Web, ICPW 2008, Uppsala, Sweden, November 28-30, 2008, pp. 49-57, 2008, ACM, 978-1-60558-354-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Assoc. Inf. Sci. Technol. ![In: J. Assoc. Inf. Sci. Technol. 58(10), pp. 1457-1466, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Vladan Devedzic, Jelena Jovanovic 0001, Dragan Gasevic |
The Pragmatics of Current E-Learning Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 11(3), pp. 19-27, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
e-learning, distance learning, learning objects, Web-based education |
18 | Martin Montminy |
Epistemic Contextualism and the Semantics-Pragmatics Distinction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 155(1), pp. 99-125, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Klaus-Dieter Schewe, Bernhard Thalheim |
Pragmatics of storyboarding for web information systems: usage analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Web Grid Serv. ![In: Int. J. Web Grid Serv. 3(2), pp. 128-169, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Egbert Ammicht, Eric Fosler-Lussier, Alexandros Potamianos |
Information Seeking Spoken Dialogue Systems- Part I: Semantics and Pragmatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Multim. ![In: IEEE Trans. Multim. 9(3), pp. 532-549, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Joseph Y. Halpern, Riccardo Pucella |
Dealing With Logical Omniscience: Expressiveness and Pragmatics ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0702011, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Syst. Res. ![In: Cogn. Syst. Res. 8(1), pp. 48-52, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. GIS ![In: Trans. GIS 11(3), pp. 313-316, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Boyan Brodaric |
Geo-Pragmatics for the Geospatial Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. GIS ![In: Trans. GIS 11(3), pp. 453-477, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Electra Tamani, Paraskevas Evripidou |
Combining Pragmatics and Intelligence in Semantic Web Service Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (2) ![In: On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, OTM Academy Doctoral Consortium, MONET, OnToContent, ORM, PerSys, PPN, RDDS, SSWS, and SWWS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II, pp. 824-833, 2007, Springer, 978-3-540-76889-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEBIST (2) ![In: WEBIST 2007 - Proceedings of the Third International Conference on Web Information Systems and Technologies, Volume WIA, Barcelona, Spain, March 3-6, 2007., pp. 5-12, 2007, INSTICC Press, 978-972-8865-78-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
18 | Harry S. Delugach |
An evaluation of the pragmatics of web-based bug tracking tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPW ![In: Proceedings of the 2nd International Conference on Pragmatic Web, ICPW 2007, Tilburg, The Netherlands, October 22-23, 2007, pp. 49-55, 2007, ACM, 978-1-59593-859-6. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPAR/PaUL@FLoC ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
18 | Michael L. Scott |
Programming language pragmatics (2. ed.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
18 | Christian Licoppe, Zbigniew Smoreda |
Rhythms and Ties: Towards a Pragmatics of Technologically-mediated Sociability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computers, Phones, and the Internet ![In: Computers, Phones, and the Internet - Domesticating Information Technology., pp. 296-, 2006, Oxford University Press, 978-0-19-531280-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
18 | Arnon Rosenthal, Leonard J. Seligman |
Pragmatics and Open Problems for Inter-schema Constraint Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Proceedings of the 22nd International Conference on Data Engineering Workshops, ICDE 2006, 3-7 April 2006, Atlanta, GA, USA, pp. 1, 2006, IEEE Computer Society, 0-7695-2571-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Makoto Yoshida, Yoshihiro Miyake |
Relationship between Utterance Dynamics and Pragmatics in the Conversation of Consensus Building Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RO-MAN ![In: The 15th IEEE International Symposium on Robot and Human Interactive Communication, RO-MAN 2006, Hatfield, Herthfordshire, UK, 6-8 September, 2006, pp. 641-645, 2006, IEEE, 1-4244-0564-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Carl G. Looney |
Intelligent Battle Gaming Pragmatics with Belief Network Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIG ![In: Proceedings of the 2006 IEEE Symposium on Computational Intelligence and Games (CIG06), University of Nevada, Reno, USA, campus in Reno/Lake Tahoe, 22-24 May, 2006, pp. 243-248, 2006, IEEE, 1-4244-0464-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2006 Conference on Human Factors in Computing Systems, CHI 2006, Montréal, Québec, Canada, April 22-27, 2006, pp. 1349-1354, 2006, ACM, 978-1-59593-298-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EAMT ![In: Proceedings of the 11th Annual conference of the European Association for Machine Translation, EAMT 2006, Oslo, Norway, June 19-20, 2006, 2006, European Association for Machine Translation. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
18 | Napoleon Katsos |
Experimental investigations on implicatures: a window into the semantics/pragmatics interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ExLing ![In: ISCA Tutorial and Research Workshop on Experimental Linguistics, ExLing 2006, Athens, Greece, August 28-30, 2006, pp. 161-164, 2006, ISCA. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, ICALT 2006, Kerkrade, The Netherlands, July 5-7, 2006, pp. 1-3, 2006, IEEE Computer Society, 0-7695-2632-2. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPAR@CAV ![Elsevier The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPAR/PaUL@FLoC ![In: 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, pp. 23-37, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Sava Krstic, Robert B. Jones, John O'Leary |
Mothers of Pipelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPAR/PaUL@FLoC ![In: 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, pp. 7-22, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Swen Jacobs, Viorica Sofronie-Stokkermans |
Applications of Hierarchical Reasoning in the Verification of Complex Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPAR/PaUL@FLoC ![In: 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, pp. 39-54, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Maria Paola Bonacina, Mnacho Echenim |
Rewrite-Based Satisfiability Procedures for Recursive Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPAR/PaUL@FLoC ![In: 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, pp. 55-70, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Byron Cook, Roberto Sebastiani |
Preface and Foreword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPAR/PaUL@FLoC ![In: 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, pp. 3-6, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Michael W. Mislove |
Editor's Note. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPAR/PaUL@FLoC ![In: 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, pp. 1, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Alessandro Tiberi |
Probabilistic Configuration Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPAR/PaUL@FLoC ![In: 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, pp. 95-108, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Sayan Mitra, Nancy A. Lynch |
Proving Approximate Implementations for Probabilistic I/O Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPAR/PaUL@FLoC ![In: 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, pp. 71-93, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Günther Görz, Bernd Ludwig |
Speech Dialogue Systems - A Pragmatics-Guided Approach to Rational Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Künstliche Intell. ![In: Künstliche Intell. 19(3), pp. 5-, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
18 | Philippe Pasquier, Brahim Chaib-draa |
Agent communication pragmatics: the cognitive coherence approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Syst. Res. ![In: Cogn. Syst. Res. 6(4), pp. 364-395, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | David R. Dowty |
The Effects of Aspectual Class on the Temporal Structure of Discourse: Semantics or Pragmatics? ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Language of Time - A Reader ![In: The Language of Time - A Reader., pp. 333-352, 2005, Oxford University Press, 978-0-19-926854-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
18 | Yurie Hara |
Implicatures and Evidentiality of Because Complements at Syntax-Semantics-Pragmatics Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI Workshops ![In: New Frontiers in Artificial Intelligence, Joint JSAI 2005 Workshop Post-Proceedings, pp. 118-125, 2005, Springer, 3-540-35470-0. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMS ![In: Proceedings of the 11th International Conference on Distributed Multimedia Systems, DMS 2005, September 5-7, 2005, Fairmont Banff Springs Hotel, Banff, Alberta, Canada, pp. 83-90, 2005, Knowledge Systems Institute, 1-891706-17-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
18 | Suk-Jin Chang |
Form-Meaning Interface in Constraint-based Unified Grammar: Prosody and Pragmatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACLIC ![In: Proceedings of the 19st Pacific Asia Conference on Language, Information and Computation, PACLIC 19, Academia Sinica, Taipei, Taiwan, December 1-3, 2005, 2005, ACL. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
D/PDPAR@IJCAR ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
18 | Shuvendu K. Lahiri, Madanlal Musuvathi |
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPAR@CAV ![In: Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005, pp. 27-41, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Tjark Weber |
Integrating a SAT Solver with an LCF-style Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPAR@CAV ![In: Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005, pp. 67-78, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Amir Pnueli, Ofer Strichman |
Reduced Functional Consistency of Uninterpreted Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPAR@CAV ![In: Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005, pp. 53-65, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPAR@CAV ![In: Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005, pp. 43-51, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPAR@CAV ![In: Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005, pp. 15-26, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Ian Wehrman, Aaron Stump |
Mining Propositional Simplification Proofs for Small Validating Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPAR@CAV ![In: Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005, pp. 79-91, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Alessandro Armando, Alessandro Cimatti |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPAR@CAV ![In: Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005, pp. 1-2, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPAR@CAV ![In: Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, PDPAR@CAV 2005, Edinburgh, UK, July 12, 2005, pp. 3-14, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Braz. Comput. Soc. ![In: J. Braz. Comput. Soc. 9(2), pp. 37-56, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TERMGRAPH ![In: Proceedings of the 2nd International Workshop on Term Graph Rewriting, TERMGRAPH 2004, Rome, Italy, October 2, 2004, pp. 57-82, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Lemuel R. Waitman, Randolph A. Miller |
Editorial Comments: Pragmatics of Implementing Guidelines on the Front Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Medical Informatics Assoc. ![In: J. Am. Medical Informatics Assoc. 11(5), pp. 436-438, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Gianluigi Bellin, Corrado Biasi |
Towards a Logic for Pragmatics. Assertions and Conjectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 14(4), pp. 473-506, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Matthias Nickles, Michael Rovatsos, Gerhard Weiß 0001 |
Formulating Agent Communication Semantics and Pragmatics as Behavioral Expectations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AC ![In: Agent Communication, International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers, pp. 153-172, 2004, Springer, 3-540-25015-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
D/PDPAR@IJCAR ![In: 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, pp. 1-2, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|