|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 307 occurrences of 221 keywords
|
|
|
Results
Found 607 publication records. Showing 607 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
104 | Anna E. Bobkowska |
Modeling pragmatics for visual modeling language evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMODIA ![In: Task Models and Diagrams for User Interface Design: Proceedings of the Forth International Workshop on Task Models and Diagrams for User Interface Design - TAMODIA 2005, Gdansk, Poland, September 26-27, 2005, pp. 75-78, 2005, ACM, 1-59593-220-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
task-oriented approaches, usability evaluation, pragmatics, context of use, visual modeling language |
70 | Rodrigo Agerri, Eduardo Alonso |
Normative Pragmatics for Agent Communication Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Perspectives in Conceptual Modeling, ER 2005 Workshops AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, 2005, Proceedings, pp. 172-181, 2005, Springer, 3-540-29395-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
57 | Danièle Bourcier |
Institutional Pragmatics and Legal Ontology Limits of the Descriptive Approach of Texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Law and the Semantic Web ![In: Law and the Semantic Web: Legal Ontologies, Methodologies, Legal Information Retrieval, and Applications, pp. 158-168, 2003, 3-540-25063-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
53 | Yasuo Nakayama |
Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2008. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JSAI ![In: New Frontiers in Artificial Intelligence, JSAI 2008 Conference and Workshops, Asahikawa, Japan, June 11-13, 2008, Revised Selected Papers, pp. 101-102, 2008, Springer, 978-3-642-00608-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
51 | Luisa Mich, Cinzia Anesi, Daniel M. Berry |
Applying a pragmatics-based creativity-fostering technique to requirements elicitation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 10(4), pp. 262-275, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Exploratory experiment, Pragmatics of communication, Problem solving, Viewpoint |
51 | Stephen Helmreich, David Farwell |
Translation Differences and Pragmatics-Based MT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 13(1), pp. 17-39, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
translation differences, evaluation, interpretation, pragmatics |
47 | Christian Körner, Dominik Benz, Andreas Hotho, Markus Strohmaier, Gerd Stumme |
Stop thinking, start tagging: tag semantics emerge from collaborative verbosity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 19th International Conference on World Wide Web, WWW 2010, Raleigh, North Carolina, USA, April 26-30, 2010, pp. 521-530, 2010, ACM, 978-1-60558-799-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
semantics, tagging, folksonomies, pragmatics, user characteristics |
47 | Xiang Zhang, Gong Cheng 0001, Weiyi Ge, Yuzhong Qu |
Summarizing Vocabularies in the Global Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 24(1), pp. 165-174, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
vocabulary summarization, Semantic Web, RDF, pragmatics |
44 | Elhadji Mamadou Nguer |
Semantics and Pragmatics of Preference Queries in Digital Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECDL ![In: Research and Advanced Technology for Digital Libraries, 11th European Conference, ECDL 2007, Budapest, Hungary, September 16-21, 2007, Proceedings, pp. 573-578, 2007, Springer, 978-3-540-74850-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Klaus-Dieter Schewe, Bernhard Thalheim |
User Models: A Contribution to Pragmatics of Web Information Systems Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems - WISE 2006, 7th International Conference on Web Information Systems Engineering, Wuhan, China, October 23-26, 2006, Proceedings, pp. 512-523, 2006, Springer, 3-540-48105-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | David Stuart Robertson 0001, Jaume Agustí-Cullell |
Pragmatics in the Synthesis of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings, pp. 41-60, 1998, Springer, 3-540-65765-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
44 | A. Caracciolo |
Some preliminary remarks on theoretical pragmatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 9(3), pp. 226-227, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
39 | Hui Ma 0001, Klaus-Dieter Schewe, Bernhard Thalheim |
Storyboarding - High-Level Engineering of Web Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems Engineering - WISE 2009, 10th International Conference, Poznan, Poland, October 5-7, 2009. Proceedings, pp. 7-8, 2009, Springer, 978-3-642-04408-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Xavier Aimé, Frédéric Fürst, Pascale Kuntz, Francky Trichet |
Conceptual and Lexical Prototypicality Gradients Dedicated to Ontology Personalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (2) ![In: On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part II, pp. 1423-1439, 2008, Springer, 978-3-540-88872-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Contextual Ontology, Conceptual prototypicality, Lexical prototypicality, Subjective knowledge, Information Retrieval, Semantic Web, Personalisation, Categorisation, Typicality, Pragmatic Web |
39 | Electra Tamani, Paraskevas Evripidou |
A Pragmatic Methodology to Web Service Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA, pp. 1168-1171, 2007, IEEE Computer Society, 0-7695-2924-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Yu Sun 0005, Yuefei Sui, Youming Xia |
Logical Sentences as the Intent of Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 20(3), pp. 338-344, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
pragmatical implication, context, concept, logical implication |
39 | Rodrigo Agerri, Eduardo Alonso |
A Semantic and Pragmatic Framework for the Specification of Agent Communication Languages: Motivational Attitudes and Norms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOIS ![In: Agent-Oriented Information Systems III, 7th International Bi-Conference Workshop, AOIS2005, Utrecht, Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers, pp. 16-31, 2005, Springer, 3-540-48291-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | John F. Sowa |
Graphics and Languages for the Flexible Modular Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures at Work: 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004. Proceedings, pp. 31-51, 2004, Springer, 3-540-22392-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Kjell Johan Sæbø |
Focus interpretation in Thetic statements: Alternative Semantics and Optimality Theory Pragmatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 16(1), pp. 15-33, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Theticity, Alternative Semantics, Optimality theoretic pragmatics, Informational integration, Focus |
38 | Susana Pajares Tosca |
A pragmatics of links. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT 2000, Proceedings of the 11th ACM Conference on Hypertext and Hypermedia, May 30 - June 3, 2000, San Antonio, TX, USA, pp. 77-84, 2000, ACM. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
movement of meaning, context, hypertext, inferences, link, linguistics, pragmatics |
35 | Settaluri Lakshmi Sravanthi, Meet Doshi, Tankala Pavan Kalyan, V. Rudra Murthy, Pushpak Bhattacharyya, Raj Dabre |
PUB: A Pragmatics Understanding Benchmark for Assessing LLMs' Pragmatics Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.07078, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
35 | Daniel Le Berre, Matti Järvisalo (eds.) |
Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![EasyChair The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
35 | Adrián Rebola-Pardo, Armin Biere |
Two flavors of DRAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 94-110, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
35 | Norbert Manthey, Tobias Philipp |
Checking Unsatisfiability Proofs in Parallel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 34-49, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
35 | Thorsten Ehlers, Dirk Nowotka |
Tuning Parallel SAT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 127-143, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
35 | Zack Newsham, Vijay Ganesh, Sebastian Fischmeister |
Predicting SAT Solver Performance on Heterogeneous Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 18-33, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
35 | Michal Karpinski, Marek Piotrów |
Competitive Sorter-based Encoding of PB-Constraints into SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 65-78, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
35 | Anastasia-Maria Leventi-Peetz, Oliver Zendel 0002, Werner Lennartz, Kai Weber 0003 |
CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 79-93, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
35 | Jeremias Berg, Antti Hyttinen, Matti Järvisalo |
Applications of MaxSAT in Data Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 50-64, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
35 | Markus Iser, Carsten Sinz |
A Problem Meta-Data Library for Research in SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 144-152, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
35 | Armin Biere, Andreas Fröhlich |
Evaluating CDCL Restart Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 1-17, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
35 | Armin Biere, Marijn Heule |
The Effect of Scrambling CNFs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018., pp. 111-126, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
34 | Jens Allwood |
Some remarks on the relationship between the semantic and the pragmatic web. ![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. 35-39, 2008, ACM, 978-1-60558-354-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
context use, semantic web, semantics, context, pragmatics, pragmatic web, context dependence |
34 | Tomasz Zarycki |
Fields as Dimensions of Context: An Application of Bourdieu's Sociological Theory to Modelling of Context of Social Action. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, 6th International and Interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007, Proceedings, pp. 531-544, 2007, Springer, 978-3-540-74254-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
social field, social capital cultural capital, social stratification, Bourdieu, Bakhtin, pragmatics, discourse analysis, contextualization, sociology |
34 | Klaus-Dieter Schewe, Bernhard Thalheim |
Life Cases: A Kernel Element for Web Information Systems Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEBIST (Selected Papers) ![In: Web Information Systems and Technologies, Third International Conference, WEBIST 2007, Barcelona, Spain, March 3-6, 2007, Revised Selected Papers, pp. 139-156, 2007, Springer, 978-3-540-68257-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
life case, application domain description, Storyboarding, pragmatics |
34 | Joshua B. Gross |
Programming for Artists: A Visual Language for Expressive Lighting Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 21-24 September 2005, Dallas, TX, USA, pp. 331-332, 2005, IEEE Computer Society, 0-7695-2443-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
virtual environments, domain specific language, Semiotics, pragmatics |
34 | Mark Whitsey |
Discourse Context and Indexicality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings, pp. 356-368, 2003, Springer, 3-540-40380-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Natural language pragmatics, Natural language understanding, Natural language semantics |
31 | Sheping Zhai, Hai Wang, Juanli Wei |
A Pragmatics Web Service Oriented Approach to Understanding the Semantics of Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008, Yilan, Taiwan, 9-12 December 2008, pp. 1069-1074, 2008, IEEE Computer Society, 978-0-7695-3473-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Peter Csaba Ölveczky, José Meseguer 0001 |
Semantics and pragmatics of Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 20(1-2), pp. 161-196, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Simulation, Real-time systems, Model checking, Formal analysis, Rewriting logic, Object-oriented specification |
31 | Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen |
The Pragmatics of STAIRS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures, pp. 88-114, 2005, Springer, 3-540-36749-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Rodrigo Agerri, Eduardo Alonso |
Semantics and Pragmatics for Agent Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA ![In: Progress in Artificial Intelligence, 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005, Proceedings, pp. 524-535, 2005, Springer, 3-540-30737-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa |
A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ArgMAS ![In: Argumentation in Multi-Agent Systems, First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers, pp. 44-63, 2004, Springer, 3-540-24526-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Bernd Ludwig |
A Pragmatics-First Approach to the Analysis and Generation of Dialogues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings, pp. 82-96, 2004, Springer, 3-540-23166-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | John Bell |
Pragmatic Reasoning. Pragmatic Semantics and Semantic Pragmatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, Third International and Interdisciplinary Conference, CONTEXT, 2001, Dundee, UK, July 27-30, 2001, Proceedings, pp. 45-58, 2001, Springer, 3-540-42379-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | David Haw, Carole A. Goble, Alan L. Rector |
The Pragmatics of Naive Database Enquiry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Advances in Databases, 13th British National Conference on Databases, BNCOD 13, Manchester, United Kingdom, July 12-14, 1995, Proceedings, pp. 79-100, 1995, Springer, 3-540-60100-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
31 | Sergei Nirenburg, Jaime G. Carbonell |
Integrating discourse pragmatics and propositional knowledge for multilingual natural language processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 2(2-3), pp. 105-116, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
31 | Fiorella de Cindio, Giorgio De Michelis, Carla Simone |
GAMERU: A language for the analysis and design of human communication pragmatics within organizational systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Workshop on Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, Oxford, UK, June 1986, pp. 21-44, 1986, Springer, 3-540-18086-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
26 | António Menezes Leitão |
Migration of Common Lisp Programs to the Java Platform -The Linj Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 11th European Conference on Software Maintenance and Reengineering, Software Evolution in Complex Software Intensive Systems, CSMR 2007, 21-23 March 2007, Amsterdam, The Netherlands, pp. 243-251, 2007, IEEE Computer Society, 0-7695-2802-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Pieter De Leenheer, Stijn Christiaens |
Mind the gap!: Transcending the tunnel view on ontology engineering. ![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. 75-82, 2007, ACM, 978-1-59593-859-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
context dependency management, ontology, knowledge sharing, semiotics, DOGMA |
26 | Electra Tamani, Paraskevas Evripidou |
A Pragmatic and Pervasive Methodology to Web Service Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (2) ![In: On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part II, pp. 1285-1294, 2006, Springer, 3-540-48273-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Sha Xin Wei, Satinder P. Gill |
Gesture and response in field-based performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Creativity & Cognition ![In: Proceedings of the 5th Conference on Creativity & Cognition, London, United Kingdom, April 12-15, 2005, pp. 205-209, 2005, ACM, 1-59593-025-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
body field, embodied material experience, material substrate, responsive play, rhythmic coordination, gesture |
26 | Michael Rovatsos, Matthias Nickles, Gerhard Weiß 0001 |
An Empirical Model of Communication in Multiagent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Agent Communication Languages ![In: Advances in Agent Communication, International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003, pp. 18-36, 2003, Springer, 3-540-20769-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Philippe Pasquier, Nicolas Andrillon, Marc-André Labrie, Brahim Chaib-draa |
An Exploration in Using Cognitive Coherence Theory to Automate BDI Agents' Communicational Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Agent Communication Languages ![In: Advances in Agent Communication, International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, July 14, 2003, pp. 37-58, 2003, Springer, 3-540-20769-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Reinhard Blutner |
Bidirektionale Optimalitätstheorie. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kognitionswissenschaft ![In: Kognitionswissenschaft 9(4), pp. 158-168, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Vladan M. Jovanovic, Kenneth L. Modesitt, Duane Matlen, Daniel Shoemaker 0001, Paul E. MacNeil |
Panel 3: Software Engineering Masters Programs - Lessons Learned. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE&T ![In: 15th Conference on Software Engineering Education and Training (CSEET'02), 25-27 February 2002, Covington, Kentucky, USA, pp. 253-255, 2002, IEEE Computer Society, 0-7695-1515-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Jerry R. Hobbs |
SRI International: description of the TACITUS system as used for MUC-3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MUC ![In: Proceedings of the 3rd Conference on Message Understanding, MUC 1991, San Diego, California, USA, May 21-23, 1991, pp. 200-206, 1991, ACL, 1-55860-236-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
20 | Shun Shiramatsu, Kazunori Komatani, Kôiti Hasida, Tetsuya Ogata, Hiroshi G. Okuno |
A game-theoretic model of referential coherence and its empirical verification using large Japanese and English corpora. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Speech Lang. Process. ![In: ACM Trans. Speech Lang. Process. 5(3), pp. 6:1-6:27, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
centering theory, corpus statistics, discourse salience, game-theoretic pragmatics, meaning game, perceptual utility, pronominalization, reference probability, referential coherence, game theory, Discourse analysis |
20 | Rineke Verbrugge, Lisette Mol |
Learning to Apply Theory of Mind. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 17(4), pp. 489-511, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Epistemic logic, Pragmatics, Theory of Mind, Skill acquisition, Strategic reasoning |
20 | Farshad Fotouhi, William I. Grosky, Peter L. Stanchev |
MS 2008: second international workshop on the many faces of multimedia semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 16th International Conference on Multimedia 2008, Vancouver, British Columbia, Canada, October 26-31, 2008, pp. 1149-1150, 2008, ACM, 978-1-60558-303-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
ontologies, semantic web, adaptive, semantics, metadata, retrieval, emergence, pragmatics |
20 | Julien Bourdon, Toru Ishida 0001 |
Speech Act Annotation for Domain Specific Multilingual Expression Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISUC ![In: ISUC 2008, Second International Symposium on Universal Communication, Osaka, Japan, 15-16 December 2008, pp. 243-250, 2008, IEEE Computer Society, 978-0-7695-3433-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Multilingual parallel text, RDF, pragmatics, speech act, intercultural communication |
20 | Robin Clark, Prashant Parikh |
Game theory and discourse anaphora. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 16(3), pp. 265-282, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Pronouns, Anaphors, Semantics, Game theory, Pragmatics, Discourse, Anaphora |
20 | Sabrina Duda, Michael Schiessl, Gerald Wildgruber, Christian Rohrer, Paul Fu |
Linguistic Analysis of Websites: A New Method of Analysing Language, the Poor Cousin of Usability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (11) ![In: Usability and Internationalization. Global and Local User Interfaces, Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II, pp. 48-56, 2007, Springer, 978-3-540-73288-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Usable Language, Expert Analysis, Usability, Semantics, User Experience, Syntax, Semiotics, User Test, Linguistics, Pragmatics, Web Usability, Linguistic Analysis |
20 | Elizabeth Black, Anthony Hunter |
A generative inquiry dialogue system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, May 14-18, 2007, pp. 241, 2007, IFAAMAS, 978-81-904262-7-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
conflict handling, communication, protocols, semantics, coordination, cooperation, negotiation, languages, argumentation, teamwork, conversations, pragmatics, cooperative distributed problem solving |
20 | Marie-Laure Betbeder, Philippe Cottier, Colin T. Schmidt, Pierre Tchounikine |
Dialogue in context, towards a referential approach in collective learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 20(3), pp. 314-330, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Communication, Context, CSCL, Pragmatics, Dialogism |
20 | Michael Huth 0001 |
Mathematics for the exploration of requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 36(2), pp. 34-39, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
under-specification, model checking, requirements, pragmatics |
20 | Robert van Rooij, Katrin Schulz |
Exhaustive Interpretation of Complex Sentences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 13(4), pp. 491-519, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
conversational implicatures, exhaustive interpretation, pragmatics, non-monotonic reasoning, Circumscription |
20 | Jim Sheffield |
The VC Model: A Universal Pragmatic Framework for GSS-Enabled Strategic Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 37th Hawaii International Conference on System Sciences (HICSS-37 2004), CD-ROM / Abstracts Proceedings, 5-8 January 2004, Big Island, HI, USA, 2004, IEEE Computer Society, 0-7695-2056-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Communicative action, group support systems (GSS), strategic urban planning, universal pragmatics, validity claims |
20 | Robert van Rooy |
Quality and Quantity of Information Exchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 12(4), pp. 423-451, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Gricean pragmatics, signaling games, relevance, meaning |
20 | Adrian Miles |
Hypertext structure as the event of connection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hypertext ![In: HYPERTEXT 2001, Proceedings of the 12th ACM Conference on Hypertext and Hypermedia, August 14-18, 2001, University of Aarhus, Århus, Denmark, pp. 61-68, 2001, ACM. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
excess, context, links, pragmatics, rhetoric, hypertext structure, cinema |
20 | Manfred Stede, Birte Schmitz |
Discourse Particles and Discourse Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 15(1-2), pp. 125-147, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
dialogue, pragmatics, particles |
20 | Heather Holmback, Mark Greaves, Jeffrey Bradshaw |
A Pragmatic Principle for Agent Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Agents ![In: Proceedings of the Third Annual Conference on Autonomous Agents, AGENTS 1999, Seattle, WA, USA, May 1-5, 1999, pp. 368-369, 1999, ACM, 1-58113-066-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
semantics, agent communication languages, pragmatics |
20 | Corin A. Gurr, Konstantinos Tourlas |
Formalizing Pragmatic Features of Graph-Based Notations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: 1999 IEEE Symposium on Visual Languages, VL 1999, Tokyo, Japan, September 13-16, 1999, Proceedings, pp. 220-227, 1999, IEEE Computer Society, 0-7695-0216-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
visual notations, software engineering, graphs, algebra, pragmatics |
20 | Changwen Yang, Douglas D. O'Shaughnessy |
Development of the INRS ATIS system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 1st International Workshop on Intelligent User Interfaces, IUI 1993, Orlando, Florida, USA, January 4-7, 1993, pp. 133-140, 1993, ACM, 0-89791-556-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
semantics, natural language processing, SQL, syntax, pragmatics, spoken language system |
20 | Denys Bernard, Mario Borillo, Bruno Gaume |
From event calculus to the scheduling problem. Semantics of action and temporal reasoning in aircraft maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 1(3), pp. 195-221, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
semantics of action, pragmatics of aircraft maintenance, scheduling, temporal reasoning, Event calculus |
20 | S. Jerrold Kaplan |
On The Difference Between Natural Language And High Level Query Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (1) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume I, pp. 27-38, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
Cooperation in discourse, Data base query systems, Artificial intelligence, Natural language processing, Query languages, Computational linguistics, Pragmatics |
18 | Nataly Leopoldina Patti da Silva, Norton Trevisan Roman, Ariani Di Felippo |
Bringing Pragmatics to Porttinari - Adding Speech Acts to News Texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROPOR ![In: Proceedings of the 16th International Conference on Computational Processing of Portuguese, PROPOR 2024, Santiago de Compostela, Galicia/Spain, 12-15 March, 2024, pp. 137-145, 2024, Association for Computational Lingustics, 979-8-89176-062-2. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
18 | Ljubisa Bojic, Predrag Kovacevic, Milan Cabarkapa |
GPT-4 Surpassing Human Performance in Linguistic Pragmatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2312.09545, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Deniz Gündüz, Federico Chiariotti, Kaibin Huang, Anders E. Kalør, Szymon Kobus, Petar Popovski |
Timely and Massive Communication in 6G: Pragmatics, Learning, and Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2306.17580, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Tavleen Singh, Kirk Roberts, Trevor Cohen, Nathan K. Cobb, Amy Franklin, Sahiti Myneni |
Discerning conversational context in online health communities for personalized digital behavior change solutions using Pragmatics to Reveal Intent in Social Media (PRISM) framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Biomed. Informatics ![In: J. Biomed. Informatics 140, pp. 104324, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Nan Sun 0002, Jun Zhang 0010, Shang Gao 0003, Leo Yu Zhang, Seyit Camtepe, Yang Xiang 0001 |
Cyber Information Retrieval Through Pragmatics Understanding and Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 20(2), pp. 1186-1199, March - April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Yu Lu, Yaxin Fan, Peifeng Li, Xiaomin Chu, Qiaoming Zhu |
Recognizing Functional Pragmatics in Chinese Discourses on Enhancing Paragraph Representation and Deep Differential Amplifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (4) ![In: Advanced Intelligent Computing Technology and Applications - 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part IV, pp. 484-496, 2023, Springer, 978-981-99-4751-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Yu Lu, Feng Jiang, Xiaomin Chu, Peifeng Li, Qiaoming Zhu |
Recognizing Functional Pragmatics of Chinese Discourses on Data Augmentation and Dependency Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (4) ![In: Advanced Intelligent Computing Technology and Applications - 19th International Conference, ICIC 2023, Zhengzhou, China, August 10-13, 2023, Proceedings, Part IV, pp. 523-535, 2023, Springer, 978-981-99-4751-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Matti Järvisalo, Daniel Le Berre (eds.) |
Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
18 | Awais Hameed Khan, Samar Sabie, Dhaval Vyas |
The Pragmatics of Sustainable Unmaking: Informing Technology Design through e-Waste Folk Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Designing Interactive Systems ![In: Proceedings of the 2023 ACM Designing Interactive Systems Conference, DIS 2023, Pittsburgh, PA, USA, July 10-14, 2023, pp. 1531-1547, 2023, ACM, 978-1-4503-9893-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Daniel Fried, Nicholas Tomlin, Jennifer Hu, Roma Patel, Aida Nematzadeh |
Pragmatics in Language Grounding: Phenomena, Tasks, and Modeling Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMNLP (Findings) ![In: Findings of the Association for Computational Linguistics: EMNLP 2023, Singapore, December 6-10, 2023., pp. 12619-12640, 2023, Association for Computational Linguistics, 979-8-89176-061-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
18 | Armin Biere, Mathias Fleury, Nils Froleyks, Marijn J. H. Heule |
The SAT Museum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023., pp. 72-87, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
18 | Vincent Vallade, Julien Sopena, Souheib Baarir |
Enhancing State-of-the-Art Parallel SAT Solvers Through Optimized Sharing Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023., pp. 35-45, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
18 | Tobias Paxian, Armin Biere |
Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023., pp. 59-71, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
18 | Sebastiaan Brand, Tim Coopmans, Alfons Laarman |
Quantum Graph-State Synthesis with SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023., pp. 1-13, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
18 | Yoichiro Iida, Tomohiro Sonobe, Mary Inaba |
An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023., pp. 46-58, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
18 | Benjamin Kaiser, Robert Clausecker, Michael Mavroskoufis |
Prioritised Unit Propagation by Partitioning the Watch Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS@SAT ![In: Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), Alghero, Italy, July 4, 2023., pp. 14-34, 2023, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
18 | Michael Henry Tessler, Joshua B. Tenenbaum, Noah D. Goodman |
Logic, Probability, and Pragmatics in Syllogistic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Top. Cogn. Sci. ![In: Top. Cogn. Sci. 14(3), pp. 574-601, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Kordula De Kuthy, Madeeswaran Kannan, Haemanth Santhi Ponnusamy, Detmar Meurers |
Exploring neural question generation for formal pragmatics: Data set and model evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Artif. Intell. ![In: Frontiers Artif. Intell. 5, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Jun Chen |
Book Review: Approaches to Internet Pragmatics: Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Media Soc. ![In: New Media Soc. 24(6), pp. 1523-1526, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Theodore R. Sumers, Robert D. Hawkins, Mark K. Ho, Thomas L. Griffiths 0001, Dylan Hadfield-Menell |
How to talk so your robot will learn: Instructions, descriptions, and pragmatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2206.07870, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Daniel Fried, Nicholas Tomlin, Jennifer Hu, Roma Patel, Aida Nematzadeh |
Pragmatics in Grounded Language Learning: Phenomena, Tasks, and Modeling Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.08371, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Betsy Van der Veer Martens |
The pragmatics of weeding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Documentation ![In: J. Documentation 78(2), pp. 284-301, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Reinhard von Hanxleden, Edward A. Lee, Hauke Fuhrmann, Alexander Schulz-Rosengarten, Sören Domrös, Marten Lohstroh, Soroush Bateni, Christian Menard |
Pragmatics Twelve Years Later: A Report on Lingua Franca. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (2) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II, pp. 60-89, 2022, Springer, 978-3-031-19755-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Thomas Santen |
On the Pragmatics of Moving from System Models to Program Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (1) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, pp. 124-138, 2022, Springer, 978-3-031-19848-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
18 | Víctor Carranza-Pinedo |
Slurs' Variability, Emotional Dimensions, and Game-Theoretic Pragmatics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LENLS ![In: Logic and Engineering of Natural Language Semantics - 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers, pp. 199-212, 2022, Springer, 978-3-031-43976-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 607 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|