|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6265 occurrences of 3499 keywords
|
|
|
Results
Found 10801 publication records. Showing 10793 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
53 | Mário Lousã, Anabela Sarmento, Altamiro Machado |
Expectations Towards the Adoption of Workflow Systems: The Results of a Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRIWG ![In: 6th International Workshop on Groupware (CRIWG 2000), 18-20 October 2000, Madeira, Portugal, pp. 36-41, 2000, IEEE Computer Society, 0-7695-0828-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
workflow systems adoption, economical reason, information systems executives, competitive business environment, technological reason, vendors, strategic objectives, case study, organizations, workflow management software, academics, computational environments, business activity |
51 | Chia-Hui Chang, Kun-Chang Tsai |
Aspect Summarization from Blogsphere for Social Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM Workshops ![In: Workshops Proceedings of the 7th IEEE International Conference on Data Mining (ICDM 2007), October 28-31, 2007, Omaha, Nebraska, USA, pp. 9-14, 2007, IEEE Computer Society, 0-7695-3033-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
social study, opinion extraction, reason summarization, sentiment classicization, text mining, weblogs |
46 | G. S. Mahalakshmi 0001, T. V. Geetha |
Formal Definitions of Reason Fallacies to Aid Defect Exploration in Argument Gaming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings, pp. 243-256, 2009, Springer, 978-3-540-92700-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Indian logic, Nyaya Sastra, Reason fallacies, Argumentation, Defect |
36 | Roni Khardon, Dan Roth |
Learning to reason. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 44(5), pp. 697-725, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
knowledge representation, model-based reasoning, common sense reasoning, computational learning |
35 | Vinod Muthusamy, Aleksander Slominski, Vatche Ishakian, Rania Khalaf, Johnathan M. Reason, Szabolcs Rozsnyai |
Lessons learned using a process mining approach to analyze events from distributed applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBS ![In: Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems, DEBS '16, Irvine, CA, USA, June 20 - 24, 2016, pp. 199-204, 2016, ACM, 978-1-4503-4021-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Reason L. Machete |
Model Imperfection and Predicting Predictability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 23(8), 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
35 | Brett Kuyper, Casper Labuschagne, Raïssa Philibert, Nicholas Moyo, Howard Waldron, Chris Reason, Carl Palmer |
Development of a Simplified, Cost Effective GC-ECD Methodology for the Sensitive Detection of Bromoform in the Troposphere. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 12(10), pp. 13583-13597, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
35 | Shuo Guo, Kyriakos Karenos, Minkyong Kim, Hui Lei 0001, Johnathan M. Reason |
Delay-Cognizant Reliable Delivery for Publish/Subscribe Overlay Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 2011 International Conference on Distributed Computing Systems, ICDCS 2011, Minneapolis, Minnesota, USA, June 20-24, 2011, pp. 403-412, 2011, IEEE Computer Society, 978-0-7695-4364-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
35 | Han Chen, Norman H. Cohen, Sastry S. Duri, Johnathan M. Reason, Paul B. Chou |
Logical RFID Reader Using Hybrid Active-Passive Solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 98(9), pp. 1636-1647, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Minkyong Kim, Kyriakos Karenos, Fan Ye 0003, Johnathan M. Reason, Hui Lei 0001, Konstantin Shagin |
Efficacy of techniques for responsiveness in a wide-area publish/subscribe system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware (Industry Track) ![In: Proceedings of the 11th International Middleware Conference Industrial Track, Bangalore, India, November 29 - December 3, 2010, pp. 40-45, 2010, ACM, 978-1-4503-0456-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | András Zahemszky, Borislava Gajic, Christian Esteve Rothenberg, Christopher Reason, Dirk Trossen, Dmitrij Lagutin, Janne Tuononen, Konstantinos V. Katsaros |
Experimentally-Driven Research in Publish/Subscribe Information-Centric Inter-Networking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRIDENTCOM ![In: Testbeds and Research Infrastructures. Development of Networks and Communities - 6th International ICST Conference, TridentCom 2010, Berlin, Germany, May 18-20, 2010, Revised Selected Papers, pp. 469-485, 2010, Springer, 978-3-642-17850-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
35 | Johnathan M. Reason, Han Chen, ChangWoo Jung, SooYeon Kim, Paul B. Chou, KangYoon Lee |
A framework for managing the life-cycle of event-driven, embedded applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Embed. Comput. ![In: J. Embed. Comput. 3(2), pp. 89-98, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Johnathan M. Reason, Riccardo Crepaldi |
Ambient intelligence for freight railroads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBM J. Res. Dev. ![In: IBM J. Res. Dev. 53(3), pp. 6, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Johnathan M. Reason, Han Chen, Riccardo Crepaldi, Sastry S. Duri |
Intelligent Telemetry for Freight Trains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiCASE ![In: Mobile Computing, Applications, and Services - First International ICST Conference, MobiCASE 2009, San Diego, CA, USA, October 26-29, 2009, Revised Selected Papers, pp. 72-91, 2009, Springer, 978-3-642-12606-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Han Chen, Paul B. Chou, Sastry S. Duri, Hui Lei 0001, Johnathan M. Reason |
The Design and Implementation of a Smart Building Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEBE ![In: 2009 IEEE International Conference on e-Business Engineering, ICEBE 2009, Macau, China, 21-23 October 2009, pp. 255-262, 2009, IEEE Computer Society, 978-0-7695-3842-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
35 | Marco Zimmerling, Waltenegus Dargie, Johnathan M. Reason |
Localized power-aware routing in linear wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASEMANS ![In: Proceedings of the 2nd ACM International Conference on Context-Awareness for Self-Managing Systems, CASEMANS 2008, May 19, 2008, Sydney, Australia, pp. 24-33, 2008, ACM, 978-1-60558-010-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
linear topology, localized protocol, wireless sensor network, routing, energy efficiency |
35 | Marco Zimmerling, Waltenegus Dargie, Johnathan M. Reason |
Energy-Efficient Routing in Linear Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASS ![In: IEEE 4th International Conference on Mobile Adhoc and Sensor Systems, MASS 2007, 8-11 October 2007, Pisa, Italy, pp. 1-3, 2007, IEEE Computer Society, 978-1-4244-1454-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Johnathan M. Reason, Han Chen, ChangWoo Jung, SunWoo Lee, Danny C. Wong, Andrew Kim, SooYeon Kim, JiHye Rhim, Paul B. Chou, KangYoon Lee |
A Framework for Managing the Solution Life Cycle of Event-Driven Pervasive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC ![In: Embedded and Ubiquitous Computing, International Conference, EUC 2006, Seoul, Korea, August 1-4, 2006, Proceedings, pp. 479-488, 2006, Springer, 3-540-36679-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
35 | Reason Baathuli Nfila, Motumi Nini Dintwe, K. N. Rao |
Experience of systems migration at the University of Botswana Library: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program ![In: Program 39(3), pp. 248-256, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Han Chen, Paul B. Chou, Sastry S. Duri, Jeffery G. Elliott, Johnathan M. Reason, Danny C. Wong |
A Model-Driven Approach to RFID Application Programming and Infrastructure Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEBE ![In: 2005 IEEE International Conference on e-Business Engineering (ICEBE 2005), 18-21 October 2005, Beijing, China, pp. 356-259, 2005, IEEE Computer Society, 0-7695-2430-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Johnathan M. Reason, Jan M. Rabaey |
A study of energy consumption and reliability in a multi-hop sensor network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGMOBILE Mob. Comput. Commun. Rev. ![In: ACM SIGMOBILE Mob. Comput. Commun. Rev. 8(1), pp. 84-97, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
35 | Johnathan M. Reason, David G. Messerschmitt |
The Impact of Confidentiality on Quality of Service in Heterogeneous Voice over IP Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMNS ![In: Management of Multimedia on the Internet, 4th IFIP/IEEE International Conference on Management of Multimedia Networks and Services, MMNS 2001, Chicago, IL, USA October 29 - November 1, 2001, Proceedings, pp. 175-192, 2001, Springer, 3-540-42786-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
35 | James Reason |
Human Factor Analysis of JCO Criticality Accident: A Comment on the Analytical Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Technol. Work. ![In: Cogn. Technol. Work. 2(4), pp. 230-231, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Johnathan M. Reason, Louis C. Yun, Allen Y. Lao, David G. Messerschmitt |
Asynchronous Video: Coordinated Video Coding and Transport for Heterogeneous Networks with Wireless Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobidata ![In: Mobile Computing [Mobidata Workshop on Mobile and Wireless Information Systems, Rutgers University, NJ, USA, October 31 - November 1, 1994]., pp. 271-298, 1994, Kluwer / Springer, 978-0-7923-9697-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
35 | David G. Messerschmitt, Johnathan M. Reason, Allen Lao |
Asynchronous Video Coding for Wireless Transport. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WMCSA ![In: First Workshop on Mobile Computing Systems and Applications, WMCSA 1994, Santa Cruz, CA, USA, December 8-9, 1994, pp. 138-145, 1994, IEEE Computer Society, 978-0-7695-3451-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Michael A. Forrester, David Reason |
HCI 'Intraface Model' for System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interact. Comput. ![In: Interact. Comput. 2(3), pp. 279-296, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
35 | James Reason |
Human Error ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1990 |
DOI RDF |
|
35 | James Reason |
Cognitive Aids in Process Environments: Prostheses or Tools? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Man Mach. Stud. ![In: Int. J. Man Mach. Stud. 27(5-6), pp. 463-470, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
35 | James F. Allen, Philip R. Cohen, Robin Cohen, C. Raymond Perrault, Corot Reason, Mary Horrigan-Tozer |
A computer model of conversation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGART Newsl. ![In: SIGART Newsl. 61, pp. 29, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
32 | Jaap Hage |
Monological Reason-Based Logic: A Low Level Integration of Rule-Based Reasoning and Case-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Fourth International Conference on Artificial intelligence and Law, ICAIL '93, Amsterdam, The Netherlands, June 15-18, 1993, pp. 30-39, 1993, ACM, 0-89791-606-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
31 | Michael Reinfrank |
Reason Maintenance Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Begründungsverwaltung ![In: Begründungsverwaltung, Beiträge zu einem Workshop über Reason Maintenance, Berlin, 9. Oktober 1986, Proceedings, pp. 1-26, 1986, Springer, 3-540-18853-3. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
31 | Manfred Werner |
RMSAI - Ein Reason Maintenance System für approximative Inferenzen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Begründungsverwaltung ![In: Begründungsverwaltung, Beiträge zu einem Workshop über Reason Maintenance, Berlin, 9. Oktober 1986, Proceedings, pp. 86-110, 1986, Springer, 3-540-18853-3. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
31 | Michael Reinfrank, Hartmut Freitag |
An Integrated Non-Monotonic and Reason Maintenance System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Begründungsverwaltung ![In: Begründungsverwaltung, Beiträge zu einem Workshop über Reason Maintenance, Berlin, 9. Oktober 1986, Proceedings, pp. 27-62, 1986, Springer, 3-540-18853-3. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
31 | Anouk Mukherjee |
Measuring information societies: A critical study of the Infostate framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: Social Dimensions of Information And Communication Technology Policy, Proceedings of the Eighth International Conference on Human Choice and Computers (HCC8), IFIP TC 9, Pretoria, South Africa, September 25-26, 2008, pp. 327-334, 2008, Springer, 978-0-387-84821-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Information society indicators, measuring ICT for development, infostate framework, instrumental reason, critical theory |
28 | Stijn Hoppenbrouwers, Henderik Alex Proper, Theo P. van der Weide |
Fact Calculus: Using ORM and Lisa-D to Reason About Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, GADA, MIOS+INTEROP, ORM, PhDS, SeBGIS, SWWS, and WOSE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, pp. 720-729, 2005, Springer, 3-540-29739-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Ioanna D. Constantiou, Anastasia Papazafeiropoulou, Morten Thanning Vendelø |
Does culture affect the adoption of advanced mobile services?: a comparative study of young adults' perceptions in Denmark and the UK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base ![In: Data Base 40(4), pp. 132-147, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
adoption decision, mobile communications market, reason-based choice, culture, mobile tv |
27 | Natasha Alechina, Mark Jago, Brian Logan 0001 |
Preference-based belief revision for rule-based agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 165(2), pp. 159-177, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Reason maintenance systems, Rule-based agents, Preferences, Belief revision |
27 | Frédéric Koriche |
Learning to assign degrees of belief in relational domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Learn. ![In: Mach. Learn. 73(1), pp. 25-53, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Learning to reason, Relational probabilistic reasoning, Exponentiated gradient learning, Weighted model counting, Online learning, Markov networks |
27 | Scott A. Jeffrey, Rebecca Hodge |
Factors influencing impulse buying during an online purchase. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commer. Res. ![In: Electron. Commer. Res. 7(3-4), pp. 367-379, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Impulse buying, Reason based choice, Mental accounting, E-commerce |
27 | Jerry M. Mendel, Dongrui Wu |
Perceptual Reasoning: A New Computing with Words Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2007 IEEE International Conference on Granular Computing, GrC 2007, San Jose, California, USA, 2-4 November 2007, pp. 446-451, 2007, IEEE Computer Society, 0-7695-3032-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
perceptual reason- ing, perceptual computer, interval type-2 fuzzy sets, linguistic weighted average, Computing with words |
27 | Louis E. Loeb |
Psychology, epistemology, and skepticism in Hume's argument about induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 152(3), pp. 321-338, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Garrett, Reason, Induction, Internalism, Externalism, Hume |
27 | Jaap Hage |
Comparing Alternatives in the law. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Law ![In: Artif. Intell. Law 12(3), pp. 181-225, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
legal proof, qualitative comparative reasoning, reason-based logic, theory construction, case-based reasoning |
27 | Margaret G. E. Peterson |
The Probability of Failure Depends on Who is Asking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: Eighth Annual IEEE Symposium on Computer-Based Medical Systems (CBMS'95), June 9-10, 1995, Lubbock, Texas, USA, pp. 51-56, 1995, IEEE Computer Society, 0-8186-7117-3. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
biomedical equipment, implanted product, estimate request reason, implantable biomedical devices, probability, statistics, market, statistical methods, failure analysis, failure rate, failure probability, failure mode, prosthetics |
25 | Qian Guo, Yuhua Qian, Xinyan Liang |
Corrigendum to "GLRM: Logical pattern mining in the case of inconsistent data distribution based on multigranulation strategy" [Int. J. Approx. Reason. 143 (2022) 78-101]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 151, pp. 271, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Deli Zhang, Endre Pap |
Erratum to "Fubini theorem and generalized Minkowski inequality for the pseudo-integral" [Int. J. Approx. Reason. 122 (2020) 9-23]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 132, pp. 127, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Jidapa Kraisangka, Marek J. Druzdzel |
Corrigendum to "A Bayesian network interpretation of the Cox's proportional hazard model" [Int. J. Approx. Reason. 103 (2018) 195-211]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 111, pp. 51-52, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Sebastià Massanet, Jordi Recasens, Joan Torrens |
Corrigendum to "Fuzzy implication functions based on powers of continuous t-norms" [Int. J. Approx. Reason. 83 (2017) 265-279]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 104, pp. 144-147, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Tommaso Flaminio, Lluís Godo, Sara Ugolini |
Corrigendum to "Towards a probability theory for product logic: States, integral representation and reasoning" [Int. J. Approx. Reason. 93 (2018) 199-218]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 103, pp. 267-269, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Donato Michele Cifarelli, Emanuele Dolera, Eugenio Regazzini |
Note on "Frequentistic approximations to Bayesian prevision of exchangeable random elements" [Int. J. Approx. Reason. 78 (2016) 138-152]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 86, pp. 26-27, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Bin Yang 0004, Bao Qing Hu |
Note on "A rough set approach to the characterization of transversal matroids" [Int. J. Approx. Reason. 70(2016) 1-12]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 80, pp. 214-216, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | José M. Peña 0001 |
Corrigendum to "Marginal AMP chain graphs" [Int. J. Approx. Reason. 55 (5) (2014) 1185-1206]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 66, pp. 139-140, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Anuradha Singh |
Action and reason in the theory of Ayurveda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 21(1-2), pp. 27-46, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Ayurveda, Sensate matter, Lived body, Experiential realism, Qualities, Diagnostic reasoning |
24 | Waltenegus Dargie, Thomas Springer 0001 |
Integrating Facts and Beliefs to Model and Reason About Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAIS ![In: Distributed Applications and Interoperable Systems, 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, pp. 17-31, 2007, Springer, 978-3-540-72881-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Cosmin Carabelea, Olivier Boissier, Cristiano Castelfranchi |
Using Social Power to Enable Agents to Reason About Being Part of a Group. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESAW ![In: Engineering Societies in the Agents World V, 5th InternationalWorkshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers, pp. 166-177, 2004, Springer, 3-540-27330-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Bowon Kim, Kyhyun Um |
2D+ String: A Spatial Metadata to Reason Topological and Directional Relationships. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSDBM ![In: 11th International Conference on Scientific and Statistical Database Management, Proceedings, Cleveland, Ohio, USA, 28-30 July, 1999, pp. 112-121, 1999, IEEE Computer Society, 0-7695-0046-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
directional relationship, 2D+ string, metadata, spatial object, topological relationship |
22 | Caroline Seck Langill |
Negotiating the hybrid: art, theory and genetic technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 20(1), pp. 49-62, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Instrumental reason, Post-humanity, Animals, Ethics, Hybrid, Genetics |
22 | Lauge Baungaard Rasmussen, Thorkild Nielsen |
Entrepreneurial capabilities: Is entrepreneurship action research in disguise? ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 18(2), pp. 100-112, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Entrepreneur, Discursive penetration, Discursive capacity, Networking, Practical reason |
22 | Robert A. Ballance, Susan L. Graham, Michael L. Van de Vanter |
The Pan Language-Based Editing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 1(1), pp. 95-127, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Ladle, coherent user interfaces, colander, contextual constraint, extension facilities, grammatical abstraction, interactive programming environment, logical constraint grammar, reason maintenance, syntax-recognizing editor, tolerance for errors and anomalies, logic programming, Pan |
22 | V. Sundararajan, Hitesh N. Dholakia, N. Parameswaran |
An RMS for Temporal Reasoning with Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCI ![In: Advances in Computing and Information - ICCI'91, International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991, Proceedings, pp. 733-744, 1991, Springer, 3-540-54029-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Causal and Temporal Reasoning, Reason Maintenance Systems, Representation of Action and Time |
22 | Jack Minker |
Search Strategy and Selection Function for an Inferential Relational System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 3(1), pp. 1-31, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
answer and reason extraction, selection function, top-down search, virtual relations, relational databases, heuristics, logic, inference mechanism, search strategy, predicate calculus |
22 | Patricia B. Powell, Paul Thompson |
Natural language and voice output for relational data base systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference (2) ![In: Proceedings 1978 ACM Annual Conference, Washington, DC, USA, December 4-6, 1978, Volume II, pp. 585-595, 1978, ACM, 978-0-89791-000-2. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
Answer/reason extraction, MRPPS 3.0, Natural language output, Voice output, Question-answering system, Relational data base |
20 | Reeva M. Lederman, Christina Parkes |
Exploring Errors in a Medication Process : An Analysis of Information Delivery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 15th IEEE Symposium on Computer-Based Medical Systems (CBMS 2002), 4-7 June 2002, Maribor, Slovenia, pp. 79-84, 2002, IEEE Computer Society, 0-7695-1614-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Ed H. Chi |
Augmented social cognition: using social web technology to enhance the ability of groups to remember, think, and reason. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2009, Providence, Rhode Island, USA, June 29 - July 2, 2009, pp. 973-984, 2009, ACM, 978-1-60558-551-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
augmented social cognition, modeling, hci, wikipedia, cscw, social tagging, research methods, characterization, social web, overview, summary, social system, delicious |
20 | Joseph Y. Halpern, Vicky Weissman |
Using First-Order Logic to Reason about Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 11(4), pp. 21:1-21:41, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Digital rights management |
20 | Sorin Stratulat |
Combining Rewriting with Noetherian Induction to Reason on Non-orientable Equalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings, pp. 351-365, 2008, Springer, 978-3-540-70588-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Sandford Bessler, Joachim Zeiss |
Using Semantic Policies to Reason over User Availability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiQuitous ![In: 4th Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2007), August 6-10, 2007, Philadelphia, PA, USA, pp. 1-5, 2007, IEEE Computer Society, 978-1-4244-1024-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Jie Tao 0001, Wolfgang Karl |
Detailed cache simulation for detecting bottleneck, miss reason and optimization potentialities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VALUETOOLS ![In: Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2006, Pisa, Italy, October 11-13, 2006, pp. 62, 2006, ACM, 1-59593-504-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
code optimization, performance visualization, cache simulation |
20 | Didier Bert, Marie-Laure Potet, Nicolas Stouls |
GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, pp. 299-318, 2005, Springer, 3-540-25559-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer, Ian Horrocks 0001 |
Using Vampire to Reason with OWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings, pp. 471-485, 2004, Springer, 3-540-23798-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Nathan Whitehead, Martín Abadi, George C. Necula |
By Reason and Authority: A System for Authorization of Proof-Carrying Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 28-30 June 2004, Pacific Grove, CA, USA, pp. 236-250, 2004, IEEE Computer Society, 0-7695-2169-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Matthew Duignan, James Noble 0001, Pippin Barr, Robert Biddle |
Metaphors for Electronic Music Production in Reason and Live. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCHI ![In: Computer Human Interaction, 6th Asia Pacific Conference, APCHI 2004, Rotorua, New Zealand, June 29 - July 2, 2004, Proceedings, pp. 111-120, 2004, Springer, 3-540-22312-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Joseph Y. Halpern, Vicky Weissman |
Using First-Order Logic to Reason about Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June - 2 July 2003, Pacific Grove, CA, USA, pp. 187-201, 2003, IEEE Computer Society, 0-7695-1927-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Yasuhito Asano, Tsuyoshi Ito, Hiroshi Imai, Masashi Toyoda, Masaru Kitsuregawa |
Compact Encoding of the Web Graph Exploiting Various Power Laws: Statistical Reason Behind Link Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIM ![In: Advances in Web-Age Information Management, 4th International Conference, WAIM 2003, Chengdu, China, August 17-19, 2003, Proceedings, pp. 37-46, 2003, Springer, 3-540-40715-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Carlo Combi, Massimo Franceschet, Adriano Peron |
A Logical Approach to Represent and Reason about Calendars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 9th International Symposium on Temporal Representation and Reasoning, TIME-2002, Manchester, UK, July 7-9, 2002, pp. 134-140, 2002, IEEE Computer Society, 0-7695-1474-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | James P. Delgrande, Torsten Schaub |
How to Reason Credulously and Skeptically within a Single Extension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, pp. 592-603, 2001, Springer, 3-540-42464-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Massimo Franceschet, Angelo Montanari |
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially Ordered Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI*IA ![In: AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings, pp. 131-142, 1999, Springer, 3-540-67350-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
20 | Dattatraya Kulkarni, N. Parameswaran |
Implementing Persistence of Derived Information in a Reason Maintenance System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBCS ![In: Knowledge Based Computer Systems, International Conference KBCS '89, Bombay, India, December 11-13, 1989, Proceedings, pp. 418-427, 1989, Springer, 3-540-52850-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Muhammad Adeel, Ahmad Ali Iqbal |
TCP Congestion Window Optimization for CDMA2000 Packet Data Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2-4 April 2007, Las Vegas, Nevada, USA, pp. 31-35, 2007, IEEE Computer Society, 978-0-7695-2776-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Jelle van Veenen, Henry Prakken |
A Protocol for Arguing About Rejections in Negotiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ArgMAS ![In: Argumentation in Multi-Agent Systems, Second International Workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised Selected and Invited Papers, pp. 138-153, 2005, Springer, 3-540-36355-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | John K. Debenham |
An Agent for Web-Based Process Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 8th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2001), 17-20 April 2001, Washington, DC, USA, pp. 62-67, 2001, IEEE Computer Society, 0-7695-1086-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Yuxia Wu, Guoshuai Zhao, Mingdi Li, Zhuocheng Zhang, Xueming Qian |
Reason Generation for Point of Interest Recommendation Via a Hierarchical Attention-Based Transformer Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Multim. ![In: IEEE Trans. Multim. 26, pp. 5511-5522, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Quyet V. Do, Tianqing Fang, Shizhe Diao, Zhaowei Wang 0003, Yangqiu Song |
ConstraintChecker: A Plugin for Large Language Models to Reason on Commonsense Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.14003, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Alex Havrilla, Yuqing Du, Sharath Chandra Raparthy, Christoforos Nalmpantis, Jane Dwivedi-Yu, Maksym Zhuravinskyi, Eric Hambro, Sainbayar Sukhbaatar, Roberta Raileanu |
Teaching Large Language Models to Reason with Reinforcement Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.04642, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Zhisheng Zheng, Puyuan Peng, Ziyang Ma, Xie Chen 0001, Eunsol Choi, David Harwath |
BAT: Learning to Reason about Spatial Sounds with Large Language Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.01591, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Tao Chen 0008, Siqi Zuo, Cheng Li 0012, Mingyang Zhang 0001, Qiaozhu Mei, Michael Bendersky |
Unlocking the 'Why' of Buying: Introducing a New Dataset and Benchmark for Purchase Reason and Post-Purchase Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.13417, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Sitao Cheng, Ziyuan Zhuang, Yong Xu, Fangkai Yang, Chaoyun Zhang, Xiaoting Qin, Xiang Huang, Ling Chen, Qingwei Lin, Dongmei Zhang 0001, Saravan Rajmohan, Qi Zhang |
Call Me When Necessary: LLMs can Efficiently and Faithfully Reason over Structured Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.08593, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Subbarao Kambhampati |
Can Large Language Models Reason and Plan? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.04121, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Siyuan Wang, Zhongyu Wei, Yejin Choi 0001, Xiang Ren 0001 |
Can LLMs Reason with Rules? Logic Scaffolding for Stress-Testing and Improving LLMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.11442, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Changnan Xiao, Bing Liu 0001 |
A Theory for Length Generalization in Learning to Reason. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2404.00560, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Valentin Liévin, Christoffer Egeberg Hother, Andreas Geert Motzfeldt, Ole Winther |
Can large language models reason about medical questions? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Patterns ![In: Patterns 5(3), pp. 100943, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Victor Piercey |
Reviews How Data Happened: A History from the Age of Reason to the Age of Algorithms . By Chris Wiggins and Matthew L Jones, WW Norton, 2023. 3484 pp., ISBN 978-1-324-00673-2, $30.00. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 131(2), pp. 181-184, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Quyet V. Do, Tianqing Fang, Shizhe Diao, Zhaowei Wang 0003, Yangqiu Song |
ConstraintChecker: A Plugin for Large Language Models to Reason on Commonsense Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EACL (1) ![In: Proceedings of the 18th Conference of the European Chapter of the Association for Computational Linguistics, EACL 2024 - Volume 1: Long Papers, St. Julian's, Malta, March 17-22, 2024, pp. 714-731, 2024, Association for Computational Linguistics, 979-8-89176-088-2. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
15 | Arka Sadhu, Ram Nevatia |
Leveraging Task-Specific Pre-Training to Reason across Images and Videos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACV ![In: IEEE/CVF Winter Conference on Applications of Computer Vision, WACV 2024, Waikoloa, HI, USA, January 3-8, 2024, pp. 5782-5792, 2024, IEEE, 979-8-3503-1892-0. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Uttam Kumar, Ran Yu 0001, Michael Wenzel, Elena Demidova |
Co-ReaSON: EEG-based Onset Detection of Focal Epileptic Seizures with Multimodal Feature Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PKDD (4) ![In: Advances in Knowledge Discovery and Data Mining - 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7-10, 2024, Proceedings, Part IV, pp. 258-270, 2024, Springer, 978-981-97-2240-2. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Davide Catta, Jean Leneutre, Vadim Malvone, Aniello Murano |
Obstruction Alternating-time Temporal Logic: A Strategic Logic to Reason about Dynamic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024, pp. 271-280, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
15 | Danai Vachtsevanou, Bruno de Lima, Andrei Ciortea, Jomi Fred Hübner, Simon Mayer, Jérémy Lemée |
Enabling BDI Agents to Reason on a Dynamic Action Repertoire in Hypermedia Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024, pp. 1856-1864, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
15 | Georgia Chalvatzaki, Ali Younes, Daljeet Nandha, An T. Le 0001, Leonardo F. R. Ribeiro, Iryna Gurevych |
Learning to reason over scene graphs: a case study of finetuning GPT-2 into a robot language model for grounded task planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Robotics AI ![In: Frontiers Robotics AI 10, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Ben Charoenwong, Robert M. Kirby, Jonathan Reiter |
Computer Science Abstractions to Help Reason About Decentralized Stablecoin Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 103201-103213, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Pavel Rublev, Nikolay V. Tkachenko, Alexander I. Boldyrev |
Overlapping electron density and the global delocalization of π-aromatic fragments as the reason of conductivity of the biphenylene network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Chem. ![In: J. Comput. Chem. 44(3), pp. 168-178, January 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Yuancheng Xia, Feng Li 0030, Qing Liu, Li Jin, Zequn Zhang, Xian Sun, Lixu Shao |
ReasonFuse: Reason Path Driven and Global-Local Fusion Network for Numerical Table-Text Question Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neurocomputing ![In: Neurocomputing 516, pp. 169-181, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 10793 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|