The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for pragmatics with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1962-1980 (15) 1981-1987 (18) 1988-1990 (16) 1991-1993 (20) 1994-1996 (21) 1997-1999 (20) 2000-2001 (24) 2002-2003 (28) 2004 (26) 2005 (29) 2006 (31) 2007 (40) 2008 (46) 2009 (16) 2010 (19) 2011 (25) 2012 (15) 2013 (20) 2014 (31) 2015-2016 (22) 2017 (23) 2018 (26) 2019-2020 (27) 2021 (16) 2022 (16) 2023 (15) 2024 (2)
Publication types (Num. hits)
article(183) book(8) incollection(14) inproceedings(378) phdthesis(16) proceedings(8)
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
104Anna E. Bobkowska Modeling pragmatics for visual modeling language evaluation. Search on Bibsonomy TAMODIA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF task-oriented approaches, usability evaluation, pragmatics, context of use, visual modeling language
70Rodrigo Agerri, Eduardo Alonso Normative Pragmatics for Agent Communication Languages. Search on Bibsonomy ER (Workshops) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
57Danièle Bourcier Institutional Pragmatics and Legal Ontology Limits of the Descriptive Approach of Texts. Search on Bibsonomy Law and the Semantic Web The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
53Yasuo Nakayama Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2008. Search on Bibsonomy JSAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
51Luisa Mich, Cinzia Anesi, Daniel M. Berry Applying a pragmatics-based creativity-fostering technique to requirements elicitation. Search on Bibsonomy Requir. Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Exploratory experiment, Pragmatics of communication, Problem solving, Viewpoint
51Stephen Helmreich, David Farwell Translation Differences and Pragmatics-Based MT. Search on Bibsonomy Mach. Transl. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF translation differences, evaluation, interpretation, pragmatics
47Christian Körner, Dominik Benz, Andreas Hotho, Markus Strohmaier, Gerd Stumme Stop thinking, start tagging: tag semantics emerge from collaborative verbosity. Search on Bibsonomy WWW The full citation details ... 2010 DBLP  DOI  BibTeX  RDF semantics, tagging, folksonomies, pragmatics, user characteristics
47Xiang Zhang, Gong Cheng 0001, Weiyi Ge, Yuzhong Qu Summarizing Vocabularies in the Global Semantic Web. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF vocabulary summarization, Semantic Web, RDF, pragmatics
44Elhadji Mamadou Nguer Semantics and Pragmatics of Preference Queries in Digital Libraries. Search on Bibsonomy ECDL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Klaus-Dieter Schewe, Bernhard Thalheim User Models: A Contribution to Pragmatics of Web Information Systems Design. Search on Bibsonomy WISE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44David Stuart Robertson 0001, Jaume Agustí-Cullell Pragmatics in the Synthesis of Logic Programs. Search on Bibsonomy LOPSTR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
44A. Caracciolo Some preliminary remarks on theoretical pragmatics. Search on Bibsonomy Commun. ACM The full citation details ... 1966 DBLP  DOI  BibTeX  RDF
39Hui Ma 0001, Klaus-Dieter Schewe, Bernhard Thalheim Storyboarding - High-Level Engineering of Web Information Systems. Search on Bibsonomy WISE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
39Xavier Aimé, Frédéric Fürst, Pascale Kuntz, Francky Trichet Conceptual and Lexical Prototypicality Gradients Dedicated to Ontology Personalisation. Search on Bibsonomy OTM Conferences (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Contextual Ontology, Conceptual prototypicality, Lexical prototypicality, Subjective knowledge, Information Retrieval, Semantic Web, Personalisation, Categorisation, Typicality, Pragmatic Web
39Electra Tamani, Paraskevas Evripidou A Pragmatic Methodology to Web Service Discovery. Search on Bibsonomy ICWS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39Yu Sun 0005, Yuefei Sui, Youming Xia Logical Sentences as the Intent of Concepts. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF pragmatical implication, context, concept, logical implication
39Rodrigo Agerri, Eduardo Alonso A Semantic and Pragmatic Framework for the Specification of Agent Communication Languages: Motivational Attitudes and Norms. Search on Bibsonomy AOIS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
39John F. Sowa Graphics and Languages for the Flexible Modular Framework. Search on Bibsonomy ICCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
38Kjell Johan Sæbø Focus interpretation in Thetic statements: Alternative Semantics and Optimality Theory Pragmatics. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Theticity, Alternative Semantics, Optimality theoretic pragmatics, Informational integration, Focus
38Susana Pajares Tosca A pragmatics of links. Search on Bibsonomy Hypertext The full citation details ... 2000 DBLP  DOI  BibTeX  RDF movement of meaning, context, hypertext, inferences, link, linguistics, pragmatics
35Settaluri 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 CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
35Daniel 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 POS@SAT The full citation details ... 2019 DBLP  BibTeX  RDF
35Adrián Rebola-Pardo, Armin Biere Two flavors of DRAT. Search on Bibsonomy POS@SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
35Norbert Manthey, Tobias Philipp Checking Unsatisfiability Proofs in Parallel. Search on Bibsonomy POS@SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
35Thorsten Ehlers, Dirk Nowotka Tuning Parallel SAT Solvers. Search on Bibsonomy POS@SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
35Zack Newsham, Vijay Ganesh, Sebastian Fischmeister Predicting SAT Solver Performance on Heterogeneous Hardware. Search on Bibsonomy POS@SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
35Michal Karpinski, Marek Piotrów Competitive Sorter-based Encoding of PB-Constraints into SAT. Search on Bibsonomy POS@SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
35Anastasia-Maria Leventi-Peetz, Oliver Zendel 0002, Werner Lennartz, Kai Weber 0003 CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances. Search on Bibsonomy POS@SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
35Jeremias Berg, Antti Hyttinen, Matti Järvisalo Applications of MaxSAT in Data Analysis. Search on Bibsonomy POS@SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
35Markus Iser, Carsten Sinz A Problem Meta-Data Library for Research in SAT. Search on Bibsonomy POS@SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
35Armin Biere, Andreas Fröhlich Evaluating CDCL Restart Schemes. Search on Bibsonomy POS@SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
35Armin Biere, Marijn Heule The Effect of Scrambling CNFs. Search on Bibsonomy POS@SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
34Jens Allwood Some remarks on the relationship between the semantic and the pragmatic web. Search on Bibsonomy ICPW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF context use, semantic web, semantics, context, pragmatics, pragmatic web, context dependence
34Tomasz Zarycki Fields as Dimensions of Context: An Application of Bourdieu's Sociological Theory to Modelling of Context of Social Action. Search on Bibsonomy CONTEXT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF social field, social capital cultural capital, social stratification, Bourdieu, Bakhtin, pragmatics, discourse analysis, contextualization, sociology
34Klaus-Dieter Schewe, Bernhard Thalheim Life Cases: A Kernel Element for Web Information Systems Engineering. Search on Bibsonomy WEBIST (Selected Papers) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF life case, application domain description, Storyboarding, pragmatics
34Joshua B. Gross Programming for Artists: A Visual Language for Expressive Lighting Design. Search on Bibsonomy VL/HCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF virtual environments, domain specific language, Semiotics, pragmatics
34Mark Whitsey Discourse Context and Indexicality. Search on Bibsonomy CONTEXT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Natural language pragmatics, Natural language understanding, Natural language semantics
31Sheping Zhai, Hai Wang, Juanli Wei A Pragmatics Web Service Oriented Approach to Understanding the Semantics of Concepts. Search on Bibsonomy APSCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Peter Csaba Ölveczky, José Meseguer 0001 Semantics and pragmatics of Real-Time Maude. Search on Bibsonomy High. Order Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Simulation, Real-time systems, Model checking, Formal analysis, Rewriting logic, Object-oriented specification
31Ragnhild Kobro Runde, Øystein Haugen, Ketil Stølen The Pragmatics of STAIRS. Search on Bibsonomy FMCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Rodrigo Agerri, Eduardo Alonso Semantics and Pragmatics for Agent Communication. Search on Bibsonomy EPIA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
31Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication. Search on Bibsonomy ArgMAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Bernd Ludwig A Pragmatics-First Approach to the Analysis and Generation of Dialogues. Search on Bibsonomy KI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31John Bell Pragmatic Reasoning. Pragmatic Semantics and Semantic Pragmatics. Search on Bibsonomy CONTEXT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
31David Haw, Carole A. Goble, Alan L. Rector The Pragmatics of Naive Database Enquiry. Search on Bibsonomy BNCOD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
31Sergei Nirenburg, Jaime G. Carbonell Integrating discourse pragmatics and propositional knowledge for multilingual natural language processing. Search on Bibsonomy Mach. Transl. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
31Fiorella 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 European Workshop on Applications and Theory of Petri Nets The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
26António Menezes Leitão Migration of Common Lisp Programs to the Java Platform -The Linj Approach. Search on Bibsonomy CSMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Pieter De Leenheer, Stijn Christiaens Mind the gap!: Transcending the tunnel view on ontology engineering. Search on Bibsonomy ICPW The full citation details ... 2007 DBLP  DOI  BibTeX  RDF context dependency management, ontology, knowledge sharing, semiotics, DOGMA
26Electra Tamani, Paraskevas Evripidou A Pragmatic and Pervasive Methodology to Web Service Discovery. Search on Bibsonomy OTM Workshops (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Sha Xin Wei, Satinder P. Gill Gesture and response in field-based performance. Search on Bibsonomy Creativity & Cognition The full citation details ... 2005 DBLP  DOI  BibTeX  RDF body field, embodied material experience, material substrate, responsive play, rhythmic coordination, gesture
26Michael Rovatsos, Matthias Nickles, Gerhard Weiß 0001 An Empirical Model of Communication in Multiagent Systems. Search on Bibsonomy Workshop on Agent Communication Languages The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Philippe 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 Workshop on Agent Communication Languages The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Reinhard Blutner Bidirektionale Optimalitätstheorie. Search on Bibsonomy Kognitionswissenschaft The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Vladan M. Jovanovic, Kenneth L. Modesitt, Duane Matlen, Daniel Shoemaker 0001, Paul E. MacNeil Panel 3: Software Engineering Masters Programs - Lessons Learned. Search on Bibsonomy CSEE&T The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Jerry R. Hobbs SRI International: description of the TACITUS system as used for MUC-3. Search on Bibsonomy MUC The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
20Shun 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 ACM Trans. Speech Lang. Process. The full citation details ... 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
20Rineke Verbrugge, Lisette Mol Learning to Apply Theory of Mind. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Epistemic logic, Pragmatics, Theory of Mind, Skill acquisition, Strategic reasoning
20Farshad Fotouhi, William I. Grosky, Peter L. Stanchev MS 2008: second international workshop on the many faces of multimedia semantics. Search on Bibsonomy ACM Multimedia The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ontologies, semantic web, adaptive, semantics, metadata, retrieval, emergence, pragmatics
20Julien Bourdon, Toru Ishida 0001 Speech Act Annotation for Domain Specific Multilingual Expression Services. Search on Bibsonomy ISUC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Multilingual parallel text, RDF, pragmatics, speech act, intercultural communication
20Robin Clark, Prashant Parikh Game theory and discourse anaphora. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Pronouns, Anaphors, Semantics, Game theory, Pragmatics, Discourse, Anaphora
20Sabrina 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 HCI (11) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Usable Language, Expert Analysis, Usability, Semantics, User Experience, Syntax, Semiotics, User Test, Linguistics, Pragmatics, Web Usability, Linguistic Analysis
20Elizabeth Black, Anthony Hunter A generative inquiry dialogue system. Search on Bibsonomy AAMAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF conflict handling, communication, protocols, semantics, coordination, cooperation, negotiation, languages, argumentation, teamwork, conversations, pragmatics, cooperative distributed problem solving
20Marie-Laure Betbeder, Philippe Cottier, Colin T. Schmidt, Pierre Tchounikine Dialogue in context, towards a referential approach in collective learning. Search on Bibsonomy AI Soc. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Communication, Context, CSCL, Pragmatics, Dialogism
20Michael Huth 0001 Mathematics for the exploration of requirements. Search on Bibsonomy ACM SIGCSE Bull. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF under-specification, model checking, requirements, pragmatics
20Robert van Rooij, Katrin Schulz Exhaustive Interpretation of Complex Sentences. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF conversational implicatures, exhaustive interpretation, pragmatics, non-monotonic reasoning, Circumscription
20Jim Sheffield The VC Model: A Universal Pragmatic Framework for GSS-Enabled Strategic Planning. Search on Bibsonomy HICSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Communicative action, group support systems (GSS), strategic urban planning, universal pragmatics, validity claims
20Robert van Rooy Quality and Quantity of Information Exchange. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Gricean pragmatics, signaling games, relevance, meaning
20Adrian Miles Hypertext structure as the event of connection. Search on Bibsonomy Hypertext The full citation details ... 2001 DBLP  DOI  BibTeX  RDF excess, context, links, pragmatics, rhetoric, hypertext structure, cinema
20Manfred Stede, Birte Schmitz Discourse Particles and Discourse Functions. Search on Bibsonomy Mach. Transl. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF dialogue, pragmatics, particles
20Heather Holmback, Mark Greaves, Jeffrey Bradshaw A Pragmatic Principle for Agent Communication. Search on Bibsonomy Agents The full citation details ... 1999 DBLP  DOI  BibTeX  RDF semantics, agent communication languages, pragmatics
20Corin A. Gurr, Konstantinos Tourlas Formalizing Pragmatic Features of Graph-Based Notations. Search on Bibsonomy VL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF visual notations, software engineering, graphs, algebra, pragmatics
20Changwen Yang, Douglas D. O'Shaughnessy Development of the INRS ATIS system. Search on Bibsonomy IUI The full citation details ... 1993 DBLP  DOI  BibTeX  RDF semantics, natural language processing, SQL, syntax, pragmatics, spoken language system
20Denys Bernard, Mario Borillo, Bruno Gaume From event calculus to the scheduling problem. Semantics of action and temporal reasoning in aircraft maintenance. Search on Bibsonomy Appl. Intell. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF semantics of action, pragmatics of aircraft maintenance, scheduling, temporal reasoning, Event calculus
20S. Jerrold Kaplan On The Difference Between Natural Language And High Level Query Languages. Search on Bibsonomy ACM Annual Conference (1) The full citation details ... 1978 DBLP  DOI  BibTeX  RDF Cooperation in discourse, Data base query systems, Artificial intelligence, Natural language processing, Query languages, Computational linguistics, Pragmatics
18Nataly Leopoldina Patti da Silva, Norton Trevisan Roman, Ariani Di Felippo Bringing Pragmatics to Porttinari - Adding Speech Acts to News Texts. Search on Bibsonomy PROPOR The full citation details ... 2024 DBLP  BibTeX  RDF
18Ljubisa Bojic, Predrag Kovacevic, Milan Cabarkapa GPT-4 Surpassing Human Performance in Linguistic Pragmatics. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Deniz 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 CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Tavleen 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 J. Biomed. Informatics The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Nan 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 IEEE Trans. Dependable Secur. Comput. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Yu 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 ICIC (4) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Yu Lu, Feng Jiang, Xiaomin Chu, Peifeng Li, Qiaoming Zhu Recognizing Functional Pragmatics of Chinese Discourses on Data Augmentation and Dependency Graph. Search on Bibsonomy ICIC (4) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Matti 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 POS@SAT The full citation details ... 2023 DBLP  BibTeX  RDF
18Awais Hameed Khan, Samar Sabie, Dhaval Vyas The Pragmatics of Sustainable Unmaking: Informing Technology Design through e-Waste Folk Strategies. Search on Bibsonomy Conference on Designing Interactive Systems The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Daniel Fried, Nicholas Tomlin, Jennifer Hu, Roma Patel, Aida Nematzadeh Pragmatics in Language Grounding: Phenomena, Tasks, and Modeling Approaches. Search on Bibsonomy EMNLP (Findings) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
18Armin Biere, Mathias Fleury, Nils Froleyks, Marijn J. H. Heule The SAT Museum. Search on Bibsonomy POS@SAT The full citation details ... 2023 DBLP  BibTeX  RDF
18Vincent Vallade, Julien Sopena, Souheib Baarir Enhancing State-of-the-Art Parallel SAT Solvers Through Optimized Sharing Policies. Search on Bibsonomy POS@SAT The full citation details ... 2023 DBLP  BibTeX  RDF
18Tobias Paxian, Armin Biere Uncovering and Classifying Bugs in MaxSAT Solvers through Fuzzing and Delta Debugging. Search on Bibsonomy POS@SAT The full citation details ... 2023 DBLP  BibTeX  RDF
18Sebastiaan Brand, Tim Coopmans, Alfons Laarman Quantum Graph-State Synthesis with SAT. Search on Bibsonomy POS@SAT The full citation details ... 2023 DBLP  BibTeX  RDF
18Yoichiro Iida, Tomohiro Sonobe, Mary Inaba An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems. Search on Bibsonomy POS@SAT The full citation details ... 2023 DBLP  BibTeX  RDF
18Benjamin Kaiser, Robert Clausecker, Michael Mavroskoufis Prioritised Unit Propagation by Partitioning the Watch Lists. Search on Bibsonomy POS@SAT The full citation details ... 2023 DBLP  BibTeX  RDF
18Michael Henry Tessler, Joshua B. Tenenbaum, Noah D. Goodman Logic, Probability, and Pragmatics in Syllogistic Reasoning. Search on Bibsonomy Top. Cogn. Sci. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Kordula De Kuthy, Madeeswaran Kannan, Haemanth Santhi Ponnusamy, Detmar Meurers Exploring neural question generation for formal pragmatics: Data set and model evaluation. Search on Bibsonomy Frontiers Artif. Intell. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Jun Chen Book Review: Approaches to Internet Pragmatics: Theory and Practice. Search on Bibsonomy New Media Soc. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Theodore 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 CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Daniel Fried, Nicholas Tomlin, Jennifer Hu, Roma Patel, Aida Nematzadeh Pragmatics in Grounded Language Learning: Phenomena, Tasks, and Modeling Approaches. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Betsy Van der Veer Martens The pragmatics of weeding. Search on Bibsonomy J. Documentation The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Reinhard 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 ISoLA (2) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Thomas Santen On the Pragmatics of Moving from System Models to Program Contracts. Search on Bibsonomy ISoLA (1) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
18Víctor Carranza-Pinedo Slurs' Variability, Emotional Dimensions, and Game-Theoretic Pragmatics. Search on Bibsonomy LENLS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 607 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license