purplecat: Hand Drawn picture of a Toy Cat (Default)
Umm... yeah. I've pretty much decided to stop this. An awful lot of papers I'm looking at are just going to involve so much background information before I get to the point of them that my heart sinks rather. And really, there's not a lot of point in doing this if I'm not enjoying it.

I still think it would be fun to blog about my field in some way that is a little less superficial than "Yay! I got a paper accepted!" but this is clearly not the way to do it.
purplecat: Hand Drawn picture of a Toy Cat (Default)
100 Current Papers in Artificial Intelligence, Automated Reasoning and Agent Programming. Number 7

Sabine Glesner, Johannes Leitner, and Jan Olaf Blech. 2007. Coinductive Verification of Program Optimizations Using Similarity Relations. Electron. Notes Theor. Comput. Sci. 176, 3 (July 2007), 61-77. DOI=10.1016/j.entcs.2006.02.037 http://dx.doi.org/10.1016/j.entcs.2006.02.037

DOI: 10.1016/j.entcs.2006.02.037
Open Access?: Yes

Discussion )
purplecat: Hand Drawn picture of a Toy Cat (Default)
I seem to have a long list of things I want to blog about, hopefully I'll actually manage to get down to it properly this week!!

Anyway to start another of my (obviously not remotely weekly) 100 papers in AI.

100 Current Papers in Artificial Intelligence, Automated Reasoning and Agent Programming. Number 6

Vivi Nastase and Michael Strube, Transforming Wikipedia into a Large Scale Multilingual Concept Network, Artificial Intelligence (2012) (In Press)

DOI: 10.1016/j.artint.2012.06.008
Open Access?: Not that I can find.

Discussion )
purplecat: Hand Drawn picture of a Toy Cat (Default)
100 Current Papers in Artificial Intelligence, Automated Reasoning and Agent Programming. Number 5

Adam Sadilek and Henry Kautz. Location-Based Reasoning about Complex Multi-Agent Behaviour. Journal of Artificial Intelligence Research 43 (2012) 87-133

DOI: doi:10.1613/jair.3421
Open Access?: Yes!

People got to play Capture The Flag for Science!! )
purplecat: Hand Drawn picture of a Toy Cat (Default)
100 Current Papers in Artificial Intelligence, Automated Reasoning and Agent Programming. Number 4

Giuseppe Della Penna, Daniele Magazzeni and Fabio Mercorio. Applied Intelligence 36:932-959

DOI: http://dx.doi.org/10.1007/z10489-011-0306-z
Open Access?: Sadly no.

Hybrid Systems seem to make up a large part of my work these days )
purplecat: Hand Drawn picture of a Toy Cat (Default)
100 Current Papers in Artificial Intelligence, Automated Reasoning and Agent Programming. Number 3

Nissim Francez, Roy Dychkhoff. A Note on Harmony. Journal of Philosophical Logic, 41:613-628.

DOI: http://dx.doi.org/10.1007/s10992-011-9208-0
Open Access?: Computational Logic Publications, St. Andrews University.

A Logic Paper that caught my Eye this week )
purplecat: Hand Drawn picture of a Toy Cat (Default)
100 Current Papers in Artificial Intelligence, Automated Reasoning and Agent Programming. Number 2

Jacob M. Howe and Andy King, A Pearl on SAT and SMT Solving in Prolog, Theoretical Computer Science Volume 435, 1 June 2012, Pages 43–55.
DOI: http://dx.doi.org/10.1016/j.bbr.2011.03.031
Open Access: Available from Kent School of Computing Publication Index: http://www.cs.kent.ac.uk/pubs/2012/3136/index.html

I'm not sure quite how the terminology of a programming pearl arose. It denotes a neat, elegant or otherwise illuminating solution to some programming problem. In this case the programming pearl shows how a solver for a certain sort of logic can be programmed up in only 22 lines of of the Prolog Programming language.

Details under the Cut )
purplecat: Hand Drawn picture of a Toy Cat (agents)
100 Current Papers in Artificial Intelligence, Automated Reasoning and Agent Programming. Number 1.

Catholijn M. Jonker, Viara Popova, Alexei Sharpanskykh, Jan Treur, and Pınar Yolum. Formal Framework to Support Organizational Design. Knowledge-Based Systems 31:89-105, 2012.

DOI: http://dx.doi.org/10.1016/j.knosys.2012.02.011
Open Access?: Sadly no.

I was half hoping to start these posts with a terribly exciting AI paper but sadly nothing terribly exciting caught my eye in the various Tables of Contents last week. However this is very much a bread-and-butter AI paper and so in some ways I'm not so sorry to be starting out with it, since it gives a good impression of what a lot of AI types do when they are not trying to develop machines that will take over the world and wipe-out humanity.

More Under the Cut )

So there you go, not terribly exciting, but a fairly typical current paper in artificial intelligence.

100 Papers

Apr. 19th, 2012 02:55 pm
purplecat: Hand Drawn picture of a Toy Cat (Default)
Because you all so want to read more thoughts by me...

This has been doing the rounds: a challenge to make 100 posts on the subject of your choice (no time limit).




{Take the 100 Things challenge!}


Actually, I've been thinking recently about ways to keep myself more abreast of the literature in my field which I tend to read somewhat sporadically. So the idea of some kind of one woman journal club doesn't immediately seem like a bad one. I'm going to attempt to blog about 100 current academic papers in my field (artificial intelligence, automated reasoning and agent programming) and, if possible, not make them sound too impenetrable. Given there's no time limit on this, I'm thinking I should aim for about one post per week, which should keep this going for two years by which point frankly either it will have become a habit or will have long fallen by the wayside.

Profile

purplecat: Hand Drawn picture of a Toy Cat (Default)
purplecat

June 2017

S M T W T F S
    123
45678 9 10
11 12 13 14 1516 17
18 19 20 21222324
252627282930 

Syndicate

RSS Atom

Tags

Style Credit

Expand Cut Tags

No cut tags