|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 437 occurrences of 293 keywords
|
|
|
Results
Found 1359 publication records. Showing 1359 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
151 | Ying Xu 0001, Dong Xu 0002, Oakley H. Crawford, J. Ralph Einstein, Engin Serpersu |
Protein structure determination using protein threading and sparse NMR data (extended abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Fourth Annual International Conference on Computational Molecular Biology, RECOMB 2000, Tokyo, Japan, April 8-11, 2000, pp. 299-307, 2000, ACM, 1-58113-186-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
fold recognition, protein structure determination, energy minimization, protein threading, NMR |
105 | Alexander Hinneburg, Andrea Porzel, Karina Wolfram |
An Evaluation of Text Retrieval Methods for Similarity Search of Multi-dimensional NMR-Spectra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIRD ![In: Bioinformatics Research and Development, First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007, Proceedings, pp. 424-438, 2007, Springer, 978-3-540-71232-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
92 | Lincong Wang, Ramgopal R. Mettu, Bruce Randall Donald |
An Algebraic Geometry Approach to Protein Structure Determination from NMR Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB ![In: Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference, CSB 2005, Stanford, CA, USA, August 8-11, 2005, pp. 235-246, 2005, IEEE Computer Society, 0-7695-2344-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
92 | Christopher James Langmead, Anthony K. Yan, Ryan H. Lilien, Lincong Wang, Bruce Randall Donald |
Large a polynomial-time nuclear vector replacement algorithm for automated NMR resonance assignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Sventh Annual International Conference on Computational Biology, RECOMB 2003, Berlin, Germany, April 10-13, 2003, pp. 176-187, 2003, ACM, 1-58113-635-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
92 | Rakesh Sharma, Richard Kline |
Flow Cytometry, MRI, PET and NMR Spectroscopy Methods of Non-Invasive Drug Monitoring in Prostate Tumor: Technical Note. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 16th IEEE Symposium on Computer-Based Medical Systems (CBMS 2003), 26-27 June 2003, New York, NY, USA, pp. 263-267, 2003, IEEE Computer Society, 0-7695-1901-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
flow cytometry, prostate tumor, sodium MRI, PET, apoptosis |
92 | Xiang Wan, Dong Xu 0002, Carolyn M. Slupsky, Guohui Lin |
Automated Protein NMR Resonance Assignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB ![In: 2nd IEEE Computer Society Bioinformatics Conference, CSB 2003, Stanford, CA, USA, August 11-14, 2003, pp. 197-208, 2003, IEEE Computer Society, 0-7695-2000-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
90 | Sun Li, Wenbo Xu |
Simulation and Investigation of Quantum Search Algorithm System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC (2) ![In: Advances in Natural Computation, Second International Conference, ICNC 2006, Xi'an, China, September 24-28, 2006. Proceedings, Part II, pp. 1-9, 2006, Springer, 3-540-45907-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Generalized Quantum Search Algorithm, phase rotations, NMR pulse sequences, NMR |
86 | Guo-Hui Lin, Dong Xu 0002, Zhi-Zhong Chen, Tao Jiang 0001, Jianjun Wen, Ying Xu 0001 |
An Efficient Branch-and-Bound Algorithm for the Assignment of Protein Backbone NMR Peaks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB ![In: 1st IEEE Computer Society Bioinformatics Conference, CSB 2002, Stanford, CA, USA, August 14-16, 2002, pp. 165-174, 2002, IEEE Computer Society, 0-7695-1653-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
chemical shift, peak assignment, combinatorial technique, branch-and-bound, greedy algorithm, protein structure, bipartite matching, NMR |
81 | Matthias Nahrendorf, Karl-Heinz Hiller, Kai Hu, Christiane Waller, Frank Wiesmann, Jan Ruff, Georg Ertl, Axel Haase, Wolfgang R. Bauer |
In Vivo Assessment of Rat Hearts with and without Myocardial Infarction by Cine NMR - Comparison of the NMR Method to Invasive Techniques and Application to Intervention Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIMH ![In: Functional Imaging and Modeling of the Heart, First International Workshop, Helsinki, Finland, November 15-16, 2001, Proceedings, pp. 97-103, 2001, Springer, 3-540-42861-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
79 | Paulius Micikevicius, Narsingh Deo |
Exploring Topological Properties of NMR Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: Proceedings of the 7th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2007, October 14-17, 2007, Harvard Medical School, Boston, MA, USA, pp. 1304-1307, 2007, IEEE Computer Society, 978-1-4244-1509-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
79 | Karina Wolfram, Andrea Porzel, Alexander Hinneburg |
Similarity Search for Multi-dimensional NMR-Spectra of Natural Products. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PKDD ![In: Knowledge Discovery in Databases: PKDD 2006, 10th European Conference on Principles and Practice of Knowledge Discovery in Databases, Berlin, Germany, September 18-22, 2006, Proceedings, pp. 650-658, 2006, Springer, 3-540-45374-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
79 | Zhi-Zhong Chen, Tao Jiang 0001, Guohui Lin, Romeo Rizzi, Jianjun Wen, Dong Xu 0002, Ying Xu 0001 |
More Reliable Protein NMR Peak Assignment via Improved 2-Interval Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA 2003, 11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003, Proceedings, pp. 580-592, 2003, Springer, 3-540-20064-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
79 | Timothy F. Havel, S. S. Somaroo, C.-H. Tseng, David G. Cory |
Principles and Demonstrations of Quantum Information Processing by NMR Spectroscopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 10(4/5), pp. 339-374, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Nuclear magnetic resonance, Pseudo-pure states, Product operator formalism, Quantum computation, Quantum error correcting codes |
77 | Rakesh Sharma, Ram B. Singh, Raj K. Gupta |
A Segmentation Method for Carotid Artery Atherosclerosis Plaque for MRI Contrast and MRI Features, Oxidative Stress Markers in Coronary and Carotid Plaque. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 16th IEEE Symposium on Computer-Based Medical Systems (CBMS 2003), 26-27 June 2003, New York, NY, USA, pp. 323-328, 2003, IEEE Computer Society, 0-7695-1901-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
70 | Lihao Xu, Jehoshua Bruck |
Deterministic Voting in Distributed Systems Using Error-Correcting Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 9(8), pp. 813-824, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
NMR system, error-correcting codes, communication complexity, majority voting, MDS code |
66 | Tamar Ratner, Ofer Reany, Ehud Keinan |
NMR-Based Encoding and Processing of Alphanumeric Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UC ![In: Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings, pp. 291, 2009, Springer, 978-3-642-03744-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
66 | Björn Egert, Steffen Neumann, Alexander Hinneburg |
Fast Approximate Duplicate Detection for 2D-NMR Spectra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DILS ![In: Data Integration in the Life Sciences, 4th International Workshop, DILS 2007, Philadelphia, PA, USA, June 27-29, 2007, Proceedings, pp. 139-155, 2007, Springer, 978-3-540-73254-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
66 | Te-Hsueh Lai, Chung-Neng Wang, Tihao Chiang |
A NMR Optimized Bitrate Transcoder for MPEG-2/4 LC-AAC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2007), 27-20 May 2007, New Orleans, Louisiana, USA, pp. 3936-3939, 2007, IEEE, 1-4244-0920-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
66 | Christopher James Langmead, Bruce Randall Donald |
High-Throughput 3D Structural Homology Detection via NMR Resonance Assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB ![In: 3rd International IEEE Computer Society Computational Systems Bioinformatics Conference, CSB 2004, Stanford, CA, USA, August 16-19, 2004, pp. 278-289, 2004, IEEE Computer Society, 0-7695-2194-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
66 | Zhi-Zhong Chen, Tao Jiang 0001, Guo-Hui Lin, Jianjun Wen, Dong Xu 0002, Ying Xu 0001 |
Improved Approximation Algorithms for NMR Spectral Peak Assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WABI ![In: Algorithms in Bioinformatics, Second International Workshop, WABI 2002, Rome, Italy, September 17-21, 2002, Proceedings, pp. 82-96, 2002, Springer, 3-540-44211-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
66 | Oliver Kohlbacher, Andreas Burchardt, Andreas Moll, Andreas Hildebrandt 0001, Peter Bayer, Hans-Peter Lenhof |
A NMR-spectra-based scoring function for protein docking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Fifth Annual International Conference on Computational Biology, RECOMB 2001, Montréal, Québec, Canada, April 22-25, 2001, pp. 184-192, 2001, ACM, 1-58113-353-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
64 | Martin Billeter, Vladislav Orekhov |
Three-Way Decomposition and Nuclear Magnetic Resonance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part I, pp. 15-24, 2003, Springer, 3-540-40194-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
60 | Xiang Wan, Guohui Lin |
CISA: Combined NMR Resonance Connectivity Information Determination and Sequential Assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ACM Trans. Comput. Biol. Bioinform. ![In: IEEE ACM Trans. Comput. Biol. Bioinform. 4(3), pp. 336-348, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
NMR sequential resonance assignment, spin system, spin system sequential connectivity, spin system residual signature, spin system assignment |
60 | Chris Bailey-Kellogg, Sheetal Chainraj, Gopal Pandurangan |
A random graph approach to NMR sequential assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Eighth Annual International Conference on Computational Molecular Biology, 2004, San Diego, California, USA, March 27-31, 2004, pp. 58-67, 2004, ACM, 1-58113-755-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
automated sequential resonance assignment, chemical shift degeneracy, nuclear magnetic resonance (NMR) spectroscopy, protein structure determination, randomized algorithm, probabilistic analysis, hamiltonian path, random graph model |
58 | José Luis López-Pérez, Roberto Therón, Esther del Olmo, David Díez, Miguel Vaquero, José Francisco Adserias |
Application of Chemoinformatics to the Structural Elucidation of Natural Compounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2006, 7th International Conference, Burgos, Spain, September 20-23, 2006, Proceedings, pp. 1150-1157, 2006, Springer, 3-540-45485-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
structural elucidation, 13C NMR spectral database, natural compounds |
53 | Mehmet Serkan Apaydin, Bülent Çatay, Nicholas Patrick, Bruce Randall Donald |
NVR-BIP: Nuclear vector replacement using binary integer programming for NMR structure-based assignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCIS ![In: The 24th International Symposium on Computer and Information Sciences, ISCIS 2009, 14-16 September 2009, North Cyprus, pp. 177-182, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
53 | Xiaoxia Dai, Jiyang Dong, Zhong Chen 0005, Qiqing Zhang |
Toxicity Study of Oral Vanadyl Sulfate by NMR-based Metabonomic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMEI (2) ![In: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, BMEI 2008, May 28-30, 2008, Sanya, Hainan, China - Volume 2, pp. 883-887, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
53 | Juan-Carlos Ruiz-Garcia, David de Andrés, Sara Blanc, Pedro J. Gil |
Generic Design and Automatic Deployment of NMR Strategies on HW Cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008, 15-17 December 2008, Taipei, Taiwan, pp. 265-272, 2008, IEEE Computer Society, 978-0-7695-3448-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
53 | Benjamin J. Kelly, Paul E. Anderson 0001, Nicholas V. Reo, Nicholas J. DelRaso, Travis E. Doom, Michael L. Raymer |
A Proposed Statistical Protocol for the Analysis of Metabolic Toxicological Data Derived from NMR Spectroscopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: Proceedings of the 7th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2007, October 14-17, 2007, Harvard Medical School, Boston, MA, USA, pp. 1414-1418, 2007, IEEE Computer Society, 978-1-4244-1509-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Zhou Wang, Seoung Bum Kim |
Automatic Alignment of High-Resolution NMR Spectra Using a Bayesian Estimation Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (4) ![In: 18th International Conference on Pattern Recognition (ICPR 2006), 20-24 August 2006, Hong Kong, China, pp. 667-670, 2006, IEEE Computer Society, 0-7695-2521-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
53 | Kuen-Pin Wu, Jia-Ming Chang, Jun-Bo Chen, Chi-Fon Chang, Wen-Jin Wu, Tai-Huang Huang, Ting-Yi Sung, Wen-Lian Hsu |
RIBRA-An Error-Tolerant Algorithm for the NMR Backbone Assignment Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Research in Computational Molecular Biology, 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings, pp. 103-117, 2005, Springer, 3-540-25866-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
53 | Wen-Lian Hsu, Jia-Ming Chang, Wen-Chi Chou, Jun-Bo Chen, Kuen-Pin Wu, Ting-Yi Sung, Chi-Fon Chang, Wen-Jin Wu, Tai-Huang Huang |
An Iterative Relaxation Technique for the NMR Backbone Assignment Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: 4th IEEE International Symposium on BioInformatics and BioEngineering (BIBE 2004), 19-21 March 2004, Taichung, Taiwan, pp. 89-92, 2004, IEEE Computer Society, 0-7695-2173-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Qingkai Ma, Wei Li, I-Ling Yen, Farokh B. Bastani, Ing-Ray Chen |
Survivable Systems Based on an Adaptive NMR Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
53 | Ke Yang, Avrim Blum |
On Statistical Query Sampling and NMR Quantum Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: 18th Annual IEEE Conference on Computational Complexity (Complexity 2003), 7-10 July 2003, Aarhus, Denmark, pp. 194-, 2003, IEEE Computer Society, 0-7695-1879-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
53 | Christopher James Langmead, Bruce Randall Donald |
Extracting structural information using time-frequency analysis of protein NMR data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Fifth Annual International Conference on Computational Biology, RECOMB 2001, Montréal, Québec, Canada, April 22-25, 2001, pp. 164-175, 2001, ACM, 1-58113-353-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
53 | Jianhui Jiang, Hongbao Shi, Yinghua Min, Xiaodong Zhao |
A Novel NMR Structure with Concurrent Error Location Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 1999 Pacific Rim International Symposium on Dependable Computing (PRDC 1999), 16-17 December 1999, Hong Kong, pp. 32-39, 1999, IEEE Computer Society, 0-7695-0371-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
51 | Edward G. Belaga, Daniel Grucker, Tarek Khalil, Jean Richert, Kees van Schenk Brill |
Water as a Quantum Computing Device. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UC ![In: Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings, pp. 287, 2009, Springer, 978-3-642-03744-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
51 | Wenjing Rao, Alex Orailoglu, Ramesh Karri |
Nanofabric Topologies and Reconfiguration Algorithms to Support Dynamically Adaptive Fault Tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 24th IEEE VLSI Test Symposium (VTS 2006), 30 April - 4 May 2006, Berkeley, California, USA, pp. 214-221, 2006, IEEE Computer Society, 0-7695-2514-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Christopher James Langmead, Bruce Randall Donald |
3D Structural Homology Detection via Unassigned Residual Dipolar Couplings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB ![In: 2nd IEEE Computer Society Bioinformatics Conference, CSB 2003, Stanford, CA, USA, August 11-14, 2003, pp. 209-219, 2003, IEEE Computer Society, 0-7695-2000-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
46 | Jufang Shan, Jie J. Zheng |
Optimizing Dvl PDZ domain inhibitor by exploring chemical space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Aided Mol. Des. ![In: J. Comput. Aided Mol. Des. 23(1), pp. 37-47, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Chemical space, PDZ domain inhibitors, Wnt signaling pathway, SAR, Virtual screening, NMR |
45 | Roberto Therón, Esther del Olmo, David Díaz, Miguel Vaquero, José Francisco Adserias, José Luis López-Pérez |
NATPRO-C13 - An Interactive Tool for the Structural Elucidation of Natural Compounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innovations in Hybrid Intelligent Systems ![In: Innovations in Hybrid Intelligent Systems, pp. 401-410, 2008, Springer, 978-3-540-74971-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
structural elucidation, 13C NMR spectral database, natural compounds, chemoinformatics, SMILES |
45 | Hyung-Won Koh, Sasidhar Maddula, Jörg Lambert, Roland Hergenröder, Lars Hildebrand |
Feature Selection by Lorentzian Peak Reconstruction for ^1NMR Post-Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: Proceedings of the Twenty-First IEEE International Symposium on Computer-Based Medical Systems, June 17-19, 2008, Jyväskylä, Finland, pp. 608-613, 2008, IEEE Computer Society, 978-0-7695-3165-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
NMR Data Processing, Parameter Fitting, Feature Selection |
41 | Krishna Naishadham, Jean E. Piou |
A Novel 1-D Block Processing Approach to 2-D NMR Spectroscopy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISBI ![In: Proceedings of the 2007 IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Washington, DC, USA, April 12-16, 2007, pp. 1352-1355, 2007, IEEE, 1-4244-0672-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Steffen J. Glaser, Thomas Schulte-Herbrüggen, Navin Khaneja |
Non-computing applications of quantum information in NMR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 21(1-2), pp. 65-71, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Christopher Bailey-Kellogg, Alik Widge, John J. Kelley 0001, Marcelo J. Berardi, John H. Bushweller, Bruce Randall Donald |
The NOESY jigsaw: automated protein secondary structure and main-chain assignment from sparse, unassigned NMR data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RECOMB ![In: Proceedings of the Fourth Annual International Conference on Computational Molecular Biology, RECOMB 2000, Tokyo, Japan, April 8-11, 2000, pp. 33-44, 2000, ACM, 1-58113-186-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
39 | Joseph Sloan, Rakesh Kumar 0002 |
Towards scalable reliability frameworks for error prone CMPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2009 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2009, Grenoble, France, October 11-16, 2009, pp. 261-270, 2009, ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
dynamic constitution, in-network fault tolerance |
39 | Andre Charbonneau, Victor Terskikh |
SpectroGrid: Providing Simple Secure Remote Access to Scientific Instruments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCS ![In: 22nd Annual International Symposium on High Performance Computing Systems and Applications (HPCS 2008), June 9-11, 2008, Québec City, Canada, pp. 76-82, 2008, IEEE Computer Society, 978-0-7695-3250-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Remote instrumentation, Security, Grid computing |
39 | Jussi Pekonen, Vesa Välimäki |
Filter-based alias reduction for digital classical waveform synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 133-136, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Omid David-Tabibi, Nathan S. Netanyahu |
Extended Null-Move Reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computers and Games ![In: Computers and Games, 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings, pp. 205-216, 2008, Springer, 978-3-540-87607-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Hüseyin Aysan, Sasikumar Punnekkat, Radu Dobrin |
VTV - A Voting Strategy for Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRDC ![In: 14th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2008, 15-17 December 2008, Taipei, Taiwan, pp. 56-63, 2008, IEEE Computer Society, 978-0-7695-3448-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Fei Xiong, Chris Bailey-Kellogg |
A Hierarchical Grow-and-Match Algorithm for Backbone Resonance Assignments Given 3D Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBE ![In: Proceedings of the 7th IEEE International Conference on Bioinformatics and Bioengineering, BIBE 2007, October 14-17, 2007, Harvard Medical School, Boston, MA, USA, pp. 403-410, 2007, IEEE Computer Society, 978-1-4244-1509-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Lincong Wang, Bruce Randall Donald |
An Efficient and Accurate Algorithm for Assigning Nuclear Overhauser Effect Restraints Using a Rotamer Library Ensemble and Residual Dipolar Couplings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB ![In: Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference, CSB 2005, Stanford, CA, USA, August 8-11, 2005, pp. 189-202, 2005, IEEE Computer Society, 0-7695-2344-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Dimitrios Morikis, Christodoulos A. Floudas, John D. Lambris |
Structure-Based Integrative Computational and Experimental Approach for the Optimization of Drug Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part II, pp. 680-688, 2005, Springer, 3-540-26043-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Lincong Wang, Bruce Randall Donald |
Analysis of a Systematic Search-Based Algorithm for Determining Protein Backbone Structure from a Minimum Number of Residual Dipolar Couplings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSB ![In: 3rd International IEEE Computer Society Computational Systems Bioinformatics Conference, CSB 2004, Stanford, CA, USA, August 16-19, 2004, pp. 319-330, 2004, IEEE Computer Society, 0-7695-2194-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Eoin Kilfeather, John McAuley, Anthony Corns, Oli McHugh |
An ontological application for archaeological narratives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 14th International Workshop on Database and Expert Systems Applications (DEXA'03), September 1-5, 2003, Prague, Czech Republic, pp. 110-114, 2003, IEEE Computer Society, 0-7695-1993-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Frederic M. Richards |
Protein geometry as a function of time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Seventeenth Annual Symposium on Computational Geometry, Medford, MA, USA, June 3-5, 2001, pp. 187, 2001, ACM, 1-58113-357-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
35 | Ofer Arieli, Giovanni Casini, Laura Giordano 0001 (eds.) |
Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
35 | Pierre Marquis |
Rectifying Classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 2, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
35 | Hisashi Hayashi, Ken Satoh |
Towards Legally and Ethically Correct Online HTN Planning for Data Transfer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 4-15, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
35 | Joseph Singleton, Richard Booth 0001 |
Truth-Tracking with Non-Expert Information Sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 80-91, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
35 | Michael Bernreiter, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran |
The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 27-38, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
35 | Giovanni Casini, Umberto Straccia |
Defeasible Reasoning in RDFS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 155-158, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
35 | Mohan Sridharan, Chloé Benz, Arthur Findelair, Kévin Gloaguen |
There and Back Again: Combining Non-monotonic Logical Reasoning and Deep Learning on an Assistive Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 115-126, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
35 | Clayton K. Baker, Thomas Andreas Meyer |
Asking Human Reasoners to Judge Postulates of Belief Change for Plausibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 139-142, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
35 | Serena Villata |
Fallacious Arguments: the Place where Knowledge Representation and Argument Mining Meet Each Other. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 3, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
35 | Richard B. Scherl |
A Situation-Calculus Model of Knowledge and Belief Based on Thinking About Justifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 104-114, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
35 | Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer |
Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 61-69, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
35 | Xavier Parent |
On Some Weakened Forms of Transitivity in the Logic of Norms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 147-150, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
35 | Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak |
Situated Conditionals - A Brief Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 151-154, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
35 | Igor de Camargo e Souza Câmara, Anni-Yasmin Turhan |
Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI⊥. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 159-162, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
35 | Laura Giordano 0001 |
From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics and Back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 127-138, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
35 | Ofer Arieli, AnneMarie Borg, Matthis Hesse, Christian Straßer |
Abductive Reasoning with Sequent-Based Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 143-146, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
35 | Aaron Hunter 0001, Sam Tadey |
Trust Graphs for Belief Revision: Framework and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 39-48, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
35 | Anna Rapberger, Markus Ulbricht 0001, Johannes Peter Wallner |
Argumentation Frameworks Induced by Assumption-Based Argumentation: Relating Size and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 92-103, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
35 | Vinícius Bitencourt Matos, Renata Wassermann |
Repairing Ontologies via Kernel Pseudo-Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 16-26, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
35 | Victor Hugo Nascimento Rocha, Fábio Gagliardi Cozman |
Bipolar Argumentation Frameworks with Explicit Conclusions: Connecting Argumentation and Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 49-60, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
35 | Thomas Eiter |
Hybrid Answer Set Programming: Opportunities and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 1, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
35 | Stefania Costantini, Andrea Formisano 0001, Valentina Pitoni |
Modelling Agents Roles in the Epistemic Logic L-DINF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022., pp. 70-79, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
35 | James P. Delgrande, Torsten Schaub (eds.) |
10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![, 92-990021-0-X The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
35 | Joost Vennekens, David Gilis, Marc Denecker |
Splitting an operator: an algebraic modularity result and its application to auto-epistemic logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 400-408, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
35 | Richard A. Baldwin, Eric Neufeld |
The structural model interpretation of the NESS test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 41-49, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
35 | José Luis Chacón, Ramón Pino Pérez |
Logic-based merging: the infinite case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 100-108, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
35 | Leila Amgoud, Henri Prade |
Generation and evaluation of different types of arguments in negotiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 10-15, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
35 | Guillermo Ricardo Simari, Alejandro Javier García, Marcela Capobianco |
Actions, planning and defeasible reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 377-384, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
35 | Takehisa Takahashi, Hajime Sawamura |
Theory of multiple-valued defeasible argumentation and its applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 385-393, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
35 | Gregory R. Wheeler |
A resource bounded default logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 416-422, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
35 | Marcelo A. Falappa, Alejandro Javier García, Guillermo Ricardo Simari |
Belief dynamics and defeasible argumentation in rational agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 164-170, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
35 | Sylvie Doutre, Jérôme Mengin |
On sceptical vs credulous acceptance for abstract argument systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 134-139, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
35 | Ján Sefránek |
Semantic considerations on rejection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 368-376, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
35 | Thomas Eiter, Esra Erdem 0001, Wolfgang Faber 0001 |
Plan reversals for recovery in execution monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 147-154, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
35 | Aaron Hunter 0001 |
Adding modal operators to the action language A. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 219-226, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
35 | Nikolay Pelov, Miroslaw Truszczynski |
Semantics of disjunctive programs with monotone aggregates - an operator-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 327-334, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
35 | Fernando A. Tohmé, Guillermo Ricardo Simari |
Preferential defeasibility: utility in defeasible logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 394-399, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
35 | Anthony Hunter |
Towards higher impact argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 227-232, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
35 | Qing Han, Zuoquan Lin |
Paraconsistent default reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 197-203, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
35 | Didier Dubois, Souhila Kaci, Henri Prade |
Ordinal and absolute representations of positive information in possibilistic logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 140-146, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
35 | Omar El-Khatib, Enrico Pontelli, Tran Cao Son |
ASP-PROLOG: a system for reasoning about answer set programs in prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 155-163, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
35 | Angelo Gilio |
On Császár's condition in nonmonotonic reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 180-188, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
35 | Gerhard Brewka |
A rank based description language for qualitative preferences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 88-93, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
35 | Robert Saxon Milnikel |
A sequent calculus for skeptical reasoning in autopeistemic logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NMR ![In: 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, pp. 292-296, 2004, 92-990021-0-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 1359 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|