Year |
Citation |
Score |
2020 |
Nguyen VD, Nguyen TH, Tayeen ASM, Laughinghouse HD, Sánchez-Reyes LL, Wiggins J, Pontelli E, Mozzherin D, O'Meara B, Stoltzfus A. Phylotastic: Improving Access to Tree-of-Life Knowledge With Flexible, on-the-Fly Delivery of Trees. Evolutionary Bioinformatics Online. 16: 1176934319899384. PMID 32372858 DOI: 10.1177/1176934319899384 |
0.301 |
|
2020 |
Al-Jarrah A, Pontelli E. The collaborative virtual affinity group model: principles, design, implementation, and evaluation International Journal of Computers and Applications. 42: 485-513. DOI: 10.1080/1206212X.2018.1486557 |
0.306 |
|
2019 |
Nguyen VD, Son TC, Pontelli E. Natural Language Generation for Non-Expert Users Electronic Proceedings in Theoretical Computer Science. 306: 280-294. DOI: 10.4204/Eptcs.306.33 |
0.407 |
|
2018 |
Fioretto F, Pontelli E, Yeoh W. Distributed Constraint Optimization Problems and Applications: A Survey Journal of Artificial Intelligence Research. 61: 623-698. DOI: 10.1613/Jair.5565 |
0.317 |
|
2018 |
FIORETTO F, PONTELLI E. Past and present (and future) of parallel and distributed computation in (constraint) logic programming Theory and Practice of Logic Programming. 18: 722-724. DOI: 10.1017/S1471068418000406 |
0.432 |
|
2018 |
HAI NGUYEN T, PONTELLI E, CAO SON T. Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming Theory and Practice of Logic Programming. 18: 656-672. DOI: 10.1017/S1471068418000236 |
0.391 |
|
2018 |
Dal Palù A, Dovier A, Formisano A, Pontelli E. ASP Applications in Bio-informatics: A Short Tour Ki - KüNstliche Intelligenz. 32: 157-164. DOI: 10.1007/S13218-018-0551-Y |
0.361 |
|
2017 |
Anderson M, Barták R, Brownstein JS, Buckeridge DL, Eldardiry H, Geib C, Gini M, Isaksen A, Keren S, Laddaga R, Lisy V, Martin R, Martinez DR, Michalowski M, Michael L, ... ... Pontelli E, et al. Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence Ai Magazine. 38: 72-82. DOI: 10.1609/Aimag.V38I3.2755 |
0.348 |
|
2017 |
Stoltzfus A, Rosenberg M, Lapp H, Budd A, Cranston K, Pontelli E, Oliver S, Vos RA. Community and Code: Nine Lessons from Nine NESCent Hackathons F1000research. 6: 786. DOI: 10.12688/F1000Research.11429.1 |
0.314 |
|
2017 |
Fioretto F, Pontelli E, Yeoh W, Dechter R. Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs Constraints. 23: 1-43. DOI: 10.1007/S10601-017-9274-1 |
0.348 |
|
2015 |
Le T, Son TC, Pontelli E. Multi-Context systems with preferences Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9387: 449-466. DOI: 10.3233/Fi-2018-1646 |
0.361 |
|
2015 |
Alajarmeh N, Pontelli E, Burgert T. A multi-layer universally designed workspace for tracking students skills and mastery transition in mathematics manipulation in inclusive education Proceedings - Frontiers in Education Conference, Fie. 2015. DOI: 10.1109/FIE.2014.7044492 |
0.748 |
|
2015 |
Al-Jarrah A, Pontelli E. AliCe-ViLlagE Alice as a Collaborative Virtual Learning Environment Proceedings - Frontiers in Education Conference, Fie. 2015. DOI: 10.1109/FIE.2014.7044089 |
0.314 |
|
2015 |
Campeotto F, Dovier A, Pontelli E. A declarative concurrent system for protein structure prediction on GPU Journal of Experimental and Theoretical Artificial Intelligence. 27: 503-541. DOI: 10.1080/0952813X.2014.993503 |
0.307 |
|
2015 |
Dal Palù A, Dovier A, Formisano A, Pontelli E. CUD@SAT: SAT solving on GPUs Journal of Experimental and Theoretical Artificial Intelligence. 27: 293-316. DOI: 10.1080/0952813X.2014.954274 |
0.39 |
|
2015 |
Le T, Son TC, Pontelli E, Yeoh W. Solving distributed constraint optimization problems using logic programming Proceedings of the National Conference On Artificial Intelligence. 2: 1174-1181. DOI: 10.1017/S147106841700014X |
0.421 |
|
2015 |
To ST, Son TC, Pontelli E. A generic approach to planning in the presence of incomplete information: Theory and implementation Artificial Intelligence. 227: 1-51. DOI: 10.1016/J.Artint.2015.06.001 |
0.333 |
|
2014 |
Son TC, Pontelli E, Nguyen NH, Sakama C. Formalizing negotiations using logic programming Acm Transactions On Computational Logic. 15. DOI: 10.1145/2526270 |
0.401 |
|
2014 |
Liu C, Pontelli E. Techniques to enhance efficiency and effectiveness of inductive logic programming systems: The TWEETY approaches Journal of Experimental and Theoretical Artificial Intelligence. 26: 51-107. DOI: 10.1080/0952813X.2013.808801 |
0.503 |
|
2014 |
Son TC, Pontelli E, Le T. Two applications of the ASP-Prolog system: Decomposable programs and multi-context systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8324: 87-103. DOI: 10.1007/978-3-319-04132-2_7 |
0.325 |
|
2013 |
Stoltzfus A, Lapp H, Matasci N, Deus H, Sidlauskas B, Zmasek CM, Vaidya G, Pontelli E, Cranston K, Vos R, Webb CO, Harmon LJ, Pirrung M, O'Meara B, Pennell MW, et al. Phylotastic! Making tree-of-life knowledge accessible, reusable and convenient. Bmc Bioinformatics. 14: 158. PMID 23668630 DOI: 10.1186/1471-2105-14-158 |
0.384 |
|
2013 |
Campeotto F, Dal Palù A, Dovier A, Fioretto F, Pontelli E. A Constraint Solver for Flexible Protein Model Journal of Artificial Intelligence Research. 48: 953-1000. DOI: 10.1613/Jair.4193 |
0.307 |
|
2013 |
Dovier A, Formisano A, Pontelli E. Autonomous agents coordination: Action languages meet CLP(f d) and Linda Theory and Practice of Logic Programming. 13: 149-173. DOI: 10.1017/S1471068411000615 |
0.339 |
|
2013 |
Doush IA, Pontelli E. Non-visual navigation of spreadsheets: Enhancing accessibility of Microsoft Excel™ Universal Access in the Information Society. 12: 143-159. DOI: 10.1007/S10209-012-0272-1 |
0.315 |
|
2012 |
Alajarmeh N, Pontelli E. E-arithmetic: Non-visual arithmetic manipulation for students with impaired vision Assets'12 - Proceedings of the 14th International Acm Sigaccess Conference On Computers and Accessibility. 269-270. DOI: 10.1145/2384916.2384987 |
0.757 |
|
2012 |
Alajarmeh N, Pontelli E. A non-visual electronic workspace for learning algebra Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7382: 158-165. DOI: 10.1007/978-3-642-31522-0_23 |
0.75 |
|
2011 |
Alajarmeh N, Pontelli E, Son T. From "reading" math to "doing" math: A new direction in non-visual math accessibility Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6768: 501-510. DOI: 10.1007/978-3-642-21657-2_54 |
0.755 |
|
2011 |
Pontelli E, Son TC, Nguyen NH. Combining answer set programming and prolog: The ASP-PROLOG system Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6565: 452-472. DOI: 10.1007/978-3-642-20832-4_28 |
0.351 |
|
2011 |
Dovier A, Formisano A, Pontelli E. Perspectives on logic-based approaches for reasoning about actions and change Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6565: 259-279. DOI: 10.1007/978-3-642-20832-4_17 |
0.32 |
|
2010 |
Doush IA, Pontelli E, Son TC, Simon D, Ma O. Multimodal presentation of two-dimensional charts: An investigation using open office XML and microsoft excel Acm Transactions On Accessible Computing. 3. DOI: 10.1145/1857920.1857925 |
0.361 |
|
2010 |
Dal Palù A, Dovier A, Fogolari F, Pontelli E. CLP-based protein fragment assembly Theory and Practice of Logic Programming. 10: 709-724. DOI: 10.1017/S1471068410000372 |
0.333 |
|
2010 |
Baral C, Gelfond G, Pontelli E, Son T. Logic programming for finding models in the logics of knowledge and its applications: A case study Theory and Practice of Logic Programming. 10: 675-690. DOI: 10.1017/S1471068410000359 |
0.388 |
|
2010 |
Pontelli E, Le HV, Son TC. An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling Computer Languages, Systems and Structures. 36: 158-202. DOI: 10.1016/J.Cl.2009.09.001 |
0.443 |
|
2010 |
Dovier A, Pontelli E. A 25-Year Perspective on Logic Programming Lecture Notes in Computer Science. 6125. DOI: 10.1007/978-3-642-14309-0 |
0.375 |
|
2009 |
Prosdocimi F, Chisham B, Pontelli E, Thompson JD, Stoltzfus A. Initial implementation of a comparative data analysis ontology. Evolutionary Bioinformatics Online. 5: 47-66. PMID 19812726 DOI: 10.4137/Ebo.S2320 |
0.348 |
|
2009 |
Dal Palù A, Dovier A, Pontelli E, Rossi G. GASP: Answer Set Programming with Lazy Grounding Fundamenta Informaticae. 96: 297-322. DOI: 10.3233/Fi-2009-180 |
0.456 |
|
2009 |
Grossi G, Marchi M, Pontelli E, Provetti A. Experimental analysis of graph-based answer set computation over parallel and distributed architectures Journal of Logic and Computation. 19: 697-715. DOI: 10.1093/Logcom/Exn036 |
0.403 |
|
2009 |
Dovier A, Formisano A, Pontelli E. An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems Journal of Experimental and Theoretical Artificial Intelligence. 21: 79-121. DOI: 10.1080/09528130701538174 |
0.417 |
|
2009 |
Phan TH, Pontelli E, Son TC, To ST. Applications of parallel processing technologies in heuristic search planning: Methodologies and experiments Concurrency Computation Practice and Experience. 21: 1928-1960. DOI: 10.1002/Cpe.V21:15 |
0.394 |
|
2008 |
Bonatti PA, Pontelli E, Son TC. Credulous resolution for answer set programming Proceedings of the National Conference On Artificial Intelligence. 1: 418-423. |
0.33 |
|
2007 |
Dovier A, Formisano A, Pontelli E. Multivalued action languages with constraints in CLP(FD) Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4670: 255-270. DOI: 10.1017/S1471068410000013 |
0.37 |
|
2007 |
Pontelli E, Villaverde K, Guo HF, Gupta G. PALS: Efficient or-parallel execution of prolog on Beowulf clusters Theory and Practice of Logic Programming. 7: 633-695. DOI: 10.1017/S1471068406002985 |
0.719 |
|
2007 |
Son TC, Pontelli E. A constructive semantic characterization of aggregates in answer set programming Theory and Practice of Logic Programming. 7: 355-375. DOI: 10.1017/S1471068406002936 |
0.398 |
|
2007 |
Liu L, Pontelli E, Son TC, Truszczyńki M. Logic programs with abstract constraint atoms: The role of computations Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4670: 286-301. DOI: 10.1016/J.Artint.2009.11.016 |
0.47 |
|
2007 |
Dal Palù A, Dovier A, Pontelli E. A constraint solver for discrete lattices, its parallelization, and application to protein structure prediction Software - Practice and Experience. 37: 1405-1449. DOI: 10.1002/Spe.V37:13 |
0.359 |
|
2007 |
Tu PH, Son TC, Pontelli E. CPP: A constraint logic programming based planner with preferences Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4483: 290-296. |
0.311 |
|
2007 |
Dovier A, Formisano A, Pontelli E. An experimental comparison of constraint logic programming and answer set programming Proceedings of the National Conference On Artificial Intelligence. 2: 1622-1625. |
0.334 |
|
2006 |
Son TC, Pontelli E, Tu PH. Answer sets for logic programs with arbitrary abstract constraint atoms Proceedings of the National Conference On Artificial Intelligence. 1: 129-134. DOI: 10.1613/Jair.2171 |
0.388 |
|
2006 |
Pontelli E, Son TC, Baral C. A framework for composition and inter-operation of rules in the semantic web Proceedings - Ruleml 2006: 2006 Second International Conference On Rules and Rule Markup Languages For the Semantic Web. 39-48. DOI: 10.1109/RULEML.2006.1 |
0.323 |
|
2006 |
Pontelli E, Son TC. Justifications for logic programs under answer set semantics Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4079: 196-210. DOI: 10.1017/S1471068408003633 |
0.432 |
|
2006 |
Sun TC, Pontelli E. Planning with preferences using logic programming Theory and Practice of Logic Programming. 6: 559-607. DOI: 10.1017/S1471068406002717 |
0.404 |
|
2006 |
Pontelli E, Villaverde K, Guo HF, Gupta G. Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms Journal of Parallel and Distributed Computing. 66: 1267-1293. DOI: 10.1016/j.jpdc.2006.05.002 |
0.7 |
|
2006 |
Pontelli E, Villaverde K, Guo H, Gupta G. Stack splitting: a technique for efficient exploitation of search parallelism on share-nothing platforms Journal of Parallel and Distributed Computing. 66: 1267-1293. DOI: 10.1016/J.Jdpc.2006.05.002 |
0.715 |
|
2006 |
Saad E, Pontelli E. A new approach to hybrid probabilistic logic programs Annals of Mathematics and Artificial Intelligence. 48: 187-243. DOI: 10.1007/S10472-007-9048-3 |
0.675 |
|
2006 |
Elkhatib O, Pontelli E, Son TC. A tool for knowledge base integration and querying Aaai Spring Symposium - Technical Report. 16-21. |
0.326 |
|
2006 |
Saad E, Pontelli E. Non-monotonic negation in Hybrid Probabilistic Logic programs 9th International Symposium On Artificial Intelligence and Mathematics, Isaim 2006. |
0.641 |
|
2005 |
Elkabani I, Pontelli E, Son TC. SMODELSA - A system for computing answer sets of logic programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3662: 427-431. DOI: 10.1007/11546207_40 |
0.773 |
|
2005 |
Saad E, Pontelli E. Hybrid Probabilistic Logic Programs with non-monotonic negation Lecture Notes in Computer Science. 3668: 204-220. |
0.646 |
|
2005 |
Saad E, Pontelli E. Towards a more practical hybrid probabilistic logic programming framework Lecture Notes in Computer Science. 3350: 67-82. |
0.647 |
|
2005 |
Ei-Khatib O, Pontelli E, Son TC. Justification and debugging of answer set programs in ASP - PROLOG Proceedings of the 6th International Symposium On Automated and Analysis-Driven Debugging, Aadebug 2005. 49-58. |
0.348 |
|
2004 |
Dovier A, Piazza C, Pontelli E. Disunification in ACI1 Theories Constraints. 9: 35-91. DOI: 10.1023/B:Cons.0000006182.84033.6E |
0.344 |
|
2004 |
Pontelli E, Son TC, Kottapally K, Ngo C, Reddy R, Gillan D. A system for automatic structure discovery and reasoning-based navigation of the web Interacting With Computers. 16: 451-475. DOI: 10.1016/J.Intcom.2004.04.006 |
0.338 |
|
2004 |
Pivkina I, Pontelli E, Son TC. Revising knowledge in multi-agent systems using revision programming with preferences Lecture Notes in Computer Science. 134-158. DOI: 10.1007/978-3-540-30200-1_8 |
0.434 |
|
2004 |
Pontelli E, Son TC, Elkabani I. Smodels with CLP - A treatment of aggregates in ASP Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). 2923: 356-360. |
0.716 |
|
2004 |
Elkabani I, Pontelli E, Son TC. Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3132: 73-89. |
0.787 |
|
2004 |
Villaverde K, Pontelli E, Guo HF, Gupta G. A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2790: 694-703. |
0.698 |
|
2004 |
Elkhatib O, Pontelli E, Son TC. ASP – PROLOG: A system for reasoning about answer set programs in prolog Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3057: 148-162. |
0.335 |
|
2004 |
Pivkina I, Pontelli E, Son TC. Revising knowledge in multi-agent systems using revision programming with preferences Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). 3259: 134-158. |
0.348 |
|
2003 |
Pontelli E, Ranjan D, Gupta G, Milligan B. Design and implementation of a domain specific language for phylogenetic inference. Journal of Bioinformatics and Computational Biology. 1: 201-30. PMID 15290770 DOI: 10.1142/S0219720003000101 |
0.396 |
|
2003 |
Pontelli E, Son TC. Designing intelligent agents to support universal accessibility of E-commerce services Electronic Commerce Research and Applications. 2: 147-161. DOI: 10.1016/S1567-4223(03)00012-7 |
0.359 |
|
2003 |
Wu Y, Pontelli E, Ranjan D. On the complexity of dependent and-parallelism in logic programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2916: 361-376. DOI: 10.1007/978-3-540-24599-5_25 |
0.35 |
|
2003 |
Pontelli E, Balduccini M, Bermudez F. Non-monotonic reasoning on Beowulf platforms Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2562: 37-57. |
0.363 |
|
2002 |
Pontelli E, Ranjan D, Palú AD. An optimal data structure to handle dynamic environments in non-deterministic computations Computer Languages. 28: 181-201. DOI: 10.1016/S0096-0551(02)00004-8 |
0.45 |
|
2002 |
Pontelli E, Gillan D, Gupta G, Karshmer A, Saad E, Xiong W. Universal Access in the Information Society. 2: 56-69. DOI: 10.1007/S10209-002-0036-4 |
0.607 |
|
2002 |
Gupta G, Pontelli E. Specification, implementation, and verification of Domain Specific Languages: A logic programming-based approach Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2407: 211-239. |
0.333 |
|
2001 |
Gupta G, Pontelli E, Ali KAM, Carlsson M, Hermenegildo MV. Parallel execution of Prolog programs: A survey Acm Transactions On Programming Languages and Systems. 23: 472-602. DOI: 10.1145/504083.504085 |
0.474 |
|
2001 |
Pontelli E. Experiments in parallel execution of answer set programs Proceedings - 15th International Parallel and Distributed Processing Symposium, Ipdps 2001. DOI: 10.1109/IPDPS.2001.924954 |
0.364 |
|
2001 |
Villaverde K, Pontelli E, Guo H, Gupta G. Incremental stack-splitting mechanisms for efficient parallel implementation of search-based AI systems Proceedings of the International Conference On Parallel Processing. 2001: 287-294. DOI: 10.1109/ICPP.2001.952073 |
0.73 |
|
2001 |
Pontelli E, Gupta G. Backtracking in independent and-parallel implementations of logic programming languages Ieee Transactions On Parallel and Distributed Systems. 12: 1169-1189. DOI: 10.1109/71.969127 |
0.354 |
|
2001 |
Dovier A, Pontelli E, Rossi G. Constructive Negation and constraint logic programming with sets New Generation Computing. 19: 209-255. DOI: 10.1007/Bf03037598 |
0.446 |
|
2001 |
Gupta G, Pontelli E. Optimization schemas for parallel implementation of non-deterministic languages and systems Software - Practice and Experience. 31: 1143-1181. DOI: 10.1002/Spe.405 |
0.425 |
|
2001 |
Pontelli E, El-Khatib O. Construction and optimization of a parallel engine for answer set programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1990: 288-303. |
0.772 |
|
2001 |
Villaverde K, Pontelli E, Guo H, Gupta G. PALS: An or-parallel implementation of Prolog on Beowulf architectures Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2237: 27-42. |
0.718 |
|
2000 |
Dovier A, Piazza C, Pontelli E, Rossi G. Sets and Constraint Logic Programming Acm Transactions On Programming Languages and Systems. 22: 861-931. DOI: 10.1145/365151.365169 |
0.43 |
|
2000 |
Pontelli E. Parallel and distributed execution of constraint programs Acm Sigsoft Software Engineering Notes. 25: 71-72. DOI: 10.1145/340855.340992 |
0.475 |
|
2000 |
Dovier A, Pontelli E, Rossi G. Necessary condition for Constructive Negation in Constraint Logic Programming Information Processing Letters. 74: 147-156. DOI: 10.1016/S0020-0190(00)00046-6 |
0.379 |
|
2000 |
Ranjan D, Pontelli E, Gupta G. Data structures for order-sensitive predicates in parallel nondeterministic systems Acta Informatica. 37: 21-43. |
0.35 |
|
1999 |
Ranjan D, Pontelli E, Gupta G. On the complexity of or-parallelism New Generation Computing. 17: 285-307. DOI: 10.1007/Bf03037223 |
0.386 |
|
1998 |
Pontelli E. Parallelism and implementation technology for (constraint) logic programming Acm Sigplan Notices. 33: 15-17. DOI: 10.1145/274930.274931 |
0.403 |
|
1998 |
Pontelli E, Ranjan D, Gupta G. The complexity of late-binding in dynamic object-oriented languages Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1490: 213-229. DOI: 10.1007/Bfb0056616 |
0.334 |
|
1997 |
Pontelli E, Gupta G. Parallel symbolic computation in ACE Annals of Mathematics and Artificial Intelligence. 21: 359-395. DOI: 10.1023/A:1018929805694 |
0.425 |
|
1997 |
Pontelli E, Ranjan D, Gupta G. On the complexity of parallel implementation of logic programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1346: 123-137. |
0.344 |
|
1997 |
Pontelli E, Gupta G. Parallel symbolic computation in ACE Annals of Mathematics and Artificial Intelligence. 21: 359-395. |
0.322 |
|
1996 |
Pontelli E, Gupta G, Tang D, Carro M, Hermenegildo MV. Improving the efficiency of nondeterministic independent and-parallel systems Computer Languages. 22: 115-142. DOI: 10.1016/S0096-0551(96)00010-0 |
0.388 |
|
1996 |
Dovier A, Omodeo EG, Pontelli E, Rossi G. {log}: A language for programming in logic with finite sets The Journal of Logic Programming. 28: 1-44. DOI: 10.1016/0743-1066(95)00147-6 |
0.387 |
|
1995 |
Pontelli E, Gupta G. On the duality between or-parallelism and and-parallelism in logic programming Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 966: 43-54. |
0.353 |
|
Show low-probability matches. |