| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb |
Learning and Representing Temporal Knowledge in Recurrent Networks.  |
IEEE Transactions on Neural Networks  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Márcio Dorn, Luciana S. Buriol, Luís C. Lamb |
Combining Machine Learning and Optimization Techniques to Determine 3-D Structures of Polypeptides. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Daniel S. Farenzena, Ricardo M. Araujo, Luís C. Lamb |
Towards Social Problem-Solving with Human Subjects. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer |
A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Daniel S. Farenzena, Ricardo M. Araujo, Luís C. Lamb |
Collaboration Emergence in Social Networks with Informational Natural Selection. |
SocialCom/PASSAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Márcio Dorn, Luciana S. Buriol, Luís C. Lamb |
A hybrid genetic algorithm for the 3-D protein structure prediction problem using a path-relinking strategy. |
IEEE Congress on Evolutionary Computation |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diego Noble, Marcelo Schiavon Porto, Luciano Volcan Agostini, Ricardo Matsumura de Araújo, Luís C. Lamb |
Two Novel Algorithms for High Quality Motion Estimation in High Definition Video Sequences. |
SIBGRAPI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb, Bashar Nuseibeh |
Learning to adapt requirements specifications of evolving systems. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David W. Aha, Mark S. Boddy, Vadim Bulitko, Artur S. d'Avila Garcez, Prashant Doshi, Stefan Edelkamp, Christopher W. Geib, Piotr J. Gmytrasiewicz, Robert P. Goldman, Pascal Hitzler, Charles L. Isbell, Darsana P. Josyula, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luís C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory Provan, Anita Raja, Ashwin Ram, Mark O. Riedl, Stuart J. Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Y. Halevy, Lilyana Mihalkova, Sriraam Natarajan |
Reports of the AAAI 2010 Conference Workshops. |
AI Magazine |
2010 |
DBLP BibTeX RDF |
|
| 1 | Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb |
Integrating model verification and self-adaptation. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael V. Borges, Artur S. d'Avila Garcez, Luís C. Lamb |
Representing, Learning and Extracting Temporal Knowledge from Neural Networks: A Case Study. |
ICANN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulisses Brisolara Correa, Luís C. Lamb, Luigi Carro, Lisane B. de Brisolara, Júlio C. B. de Mattos |
Towards Estimating Physical Properties of Embedded Systems using Software Quality Metrics. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
software engineering, measurement, Embedded Software, quality metrics |
| 1 | Daniel S. Farenzena, Luís C. Lamb, Ricardo M. Araujo |
Combining Human Reasoning and Machine Computation: Towards a Memetic Network Solution to Satisfiability. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Matsumura de Araújo, Luís C. Lamb |
On the use of memory and resources in minority games. |
TAAS |
2009 |
DBLP DOI BibTeX RDF |
Dispersion games, multiagent systems, mechanism design, multiagent learning |
| 1 | João M. Fernandes, Luís C. Lamb, Ricardo Jorge Machado, Flávio Rech Wagner |
Recent advances in model-based methodologies for pervasive and embedded software. |
ACM SIGSOFT Software Engineering Notes |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay |
Neural-Symbolic Cognitive Reasoning |
|
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Horowitz, Luís C. Lamb |
A Hierarchical Model for Firewall Policy Extraction. |
AINA |
2009 |
DBLP DOI BibTeX RDF |
Firewall Extraction Policies, Foundations of Computer Security, Firewalls |
| 1 | João M. Fernandes, Ricardo Jorge Machado, Luís C. Lamb, Flávio Rech Wagner |
Model-based Methodologies for Pervasive and Embedded Software. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo M. Araujo, Luís C. Lamb |
Distributed problem solving by memetic networks: extended abstract. |
GECCO |
2008 |
DBLP DOI BibTeX RDF |
multi-parent recombination, network, meme |
| 1 | Ricardo M. Araujo, Luís C. Lamb |
On the Role of Structured Information Exchange in Supervised Learning. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís C. Lamb |
The Grand Challenges and Myths of Neural-Symbolic Computation. |
Recurrent Neural Networks |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Miotto Redin, Marcio F. da S. Oliveira, Lisane B. de Brisolara, Júlio C. B. de Mattos, Luís C. Lamb, Flávio Rech Wagner, Luigi Carro |
On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems. |
DIPES |
2008 |
DBLP DOI BibTeX RDF |
software engineering, measurement, metrics, quality, embedded software |
| 1 | Lisane B. de Brisolara, Marcio F. da S. Oliveira, Ricardo Miotto Redin, Luís C. Lamb, Luigi Carro, Flávio Rech Wagner |
Using UML as Front-end for Heterogeneous Software Code Generation Strategies. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo M. Araujo, Luís C. Lamb |
On the Effects of Network Structure in Population-Based Optimization. |
ICTAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo M. Araujo, Luís C. Lamb |
Memetic Networks: Analyzing the Effects of Network Properties in Multi-Agent Performance. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Marcio F. da S. Oliveira, Ricardo Miotto Redin, Luigi Carro, Luís da Cunha Lamb, Flávio Rech Wagner |
Software Quality Metrics and their Impact on Embedded Software. |
MOMPES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay |
Connectionist modal logic: Representing modalities in neural networks. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez |
Towards Reasoning about the Past in Neural-symbolic Systems. |
NeSy |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ricardo M. Araujo, Luís C. Lamb |
An Information-Theoretic Analysis of Memory Bounds in a Distributed Resource Allocation Mechanism. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez |
Reasoning and Learning About Past Temporal Knowledge in Connectionist Models. |
IJCNN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís C. Lamb, Rafael V. Borges, Artur S. d'Avila Garcez |
A Connectionist Cognitive Model for Temporal Synchronisation and Learning. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Emilena Specht, Ricardo Miotto Redin, Luigi Carro, Luís da Cunha Lamb, Érika F. Cota, Flávio Rech Wagner |
Analysis of the use of declarative languages for enhanced embedded system software development. |
SBCCI |
2007 |
DBLP DOI BibTeX RDF |
embedded software, modeling languages, system level modeling, system level synthesis |
| 1 | Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay |
Connectionist computations of intuitionistic reasoning. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís C. Lamb, José Palazzo M. de Oliveira |
Editorial. |
RITA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Luís C. Lamb, José Palazzo M. de Oliveira |
Editorial. |
RITA |
2006 |
DBLP BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Luís C. Lamb |
A Connectionist Computational Model for Epistemic and Temporal Reasoning. |
Neural Computation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael V. Borges, Luís C. Lamb, Artur S. d'Avila Garcez |
Combining Architectures for Temporal Learning in Neural-Symbolic Systems. |
HIS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís C. Lamb, José Palazzo Moreira de Oliveira |
Editorial. |
RITA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb |
Value-based Argumentation Frameworks as Neural-symbolic Learning Systems. |
J. Log. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura S. Mastella, Mara Abel, Luís C. Lamb, Luis Fernando De Ros |
Cognitive Modelling of Event Ordering Reasoning in Imagistic Domains. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ricardo Matsumura de Araújo, Luís C. Lamb |
On the Evolution of Memory Size in the Minority Game (extended abstract). |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Luís C. Lamb |
Neural-Symbolic Systems and the Case for Non-Classical Reasoning. |
We Will Show Them! |
2005 |
DBLP BibTeX RDF |
|
| 1 | Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods (eds.) |
We Will Show Them! Essays in Honour of Dov Gabbay, Volume One |
We Will Show Them! |
2005 |
DBLP BibTeX RDF |
|
| 1 | Sergei N. Artëmov, Howard Barringer, Artur S. d'Avila Garcez, Luís C. Lamb, John Woods (eds.) |
We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two |
We Will Show Them! |
2005 |
DBLP BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay |
A Connectionist Model for Constructive Modal Reasoning. |
NIPS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay |
Applying connectionist modal logics to distributed knowledge representation problems. |
International Journal on Artificial Intelligence Tools |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb |
Towards a Connectionist Argumentation Framework. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb |
Argumentation Neural Networks. |
ICONIP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Matsumura de Araújo, Luís C. Lamb |
Neural-Evolutionary Learning in a Bounded Rationality Scenario. |
ICONIP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Matsumura de Araújo, Luís C. Lamb |
Towards Understanding the Role of Learning Models in the Dynamics of the Minority Game. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay |
Neural-Symbolic Intuitionistic Reasoning. |
HIS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay |
Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study. |
FLAIRS Conference |
2003 |
DBLP BibTeX RDF |
|
| 1 | Artur S. d'Avila Garcez, Luís C. Lamb |
Reasoning about Time and Knowledge in Neural Symbolic Learning Systems. |
NIPS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo |
Labelled Natural Deduction for Conditional Logics of Normality. |
Logic Journal of the IGPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís C. Lamb |
Book Review: "Elementary Logics: a Procedural Perspective" by Dov M. Gabbay. |
J. Log. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")